N00bDaan

Hi guys 'n girls, As I never can exactly remember all the different commands I'm using in the Terminal, and since I could not find an existing workflow for this, I wrote something small: http://www.packal.org/workflow/search-terminal-history Hopefully it is helpful for others too. Might be useful to set the option HISTFILESIZE=10000000 in your .bash_profile if you want to retain history longer than the default 500 lines. Cheers!