I like this. It looks like a much better fleshed out version of a one-off python script I use to search bash history - it even coincidentally has the same name

I like this. It looks like a much better fleshed out version of a one-off python script I use to search bash history - it even coincidentally has the same name so it'll fit right into the muscle memory :D https://stackoverflow.com/questions/43019250/made-quick-script-to-search-bash-history-how-can-i-make-it-more-robust/ https://stackoverflow.com/questions/43019250/made-quick-scri...