4 ms·Wow, this is great. All too commonly I do cat ~/.bash_history|grep, but this is way easier. Thanks!by hrrsn 12y agoWow, this is great. All too commonly I do cat ~/.bash_history|grep, but this is way easier. Thanks!