A shell history utility for bash.
I use this utility instead of the history builtin in bash. It allows me to do some things that are not possible with the standard builtin as well as some things that are not otherwise easy or straightforward:
- retain my history forever and aggregate it across computers
- immediately see commands that were executed in other terminal sessions.
- retain with each history entry information including: shell PID, exit code, and pwd at the time of execution.
- query my entire history efficiently using
hist -ag $REGEXP, where $REGEXP can include the datetime, shell id, directory of execution or any part of the command