I've been using a variant of this: https://debian-administration.org/article/543/Bash_eternal_history https://debian-administration.org/article/543/Bash_eternal

I've been using a variant of this: https://debian-administration.org/article/543/Bash_eternal_history https://debian-administration.org/article/543/Bash_eternal_h... which adds all commands to a file ~/.bash_eternal_history Plus a script named "ehist" in my path which contains "cat ~/.bash_eternal_history" -- this enables searches with "ehist | grep git" It also handles the case of multiple shells writing to a history file.