diff options
-rw-r--r-- | .zshrc | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -451,7 +451,11 @@ cat-history-notime() { } hgrep() { - cat-history | mpgrep "$@" | less + if type mpgrep &>/dev/null; then + cat-history | mpgrep "$@" | less + else + cat-history | grep "$@" | less + fi } cd-pkg() { |