Linux greph tool. This tool combines history and grep to quickly search in bash history.
Primary LanguageShellGNU General Public License v2.0GPL-2.0