I probably knew and then forgot the Ctrl+r trick at some point because 99.9% of the time, the up arrow and grepping history is sufficient for my needs. Then aga

I probably knew and then forgot the Ctrl+r trick at some point because 99.9% of the time, the up arrow and grepping history is sufficient for my needs. Then again, I don't do that much on the command line anymore