diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2016-08-21 01:31:52 +1200 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2016-08-21 01:31:52 +1200 |
commit | 0ed6fddde6b4a2464d83016842859b65f69c1bea (patch) | |
tree | a558a8df5b22961ebbe3cce27f0503bae7ff5bf8 /sh/shrc.d | |
parent | Strip trailing period from sshi(1) hostnames (diff) | |
download | dotfiles-0ed6fddde6b4a2464d83016842859b65f69c1bea.tar.gz dotfiles-0ed6fddde6b4a2464d83016842859b65f69c1bea.zip |
Add --devices and --directories to grep(1) opts
Diffstat (limited to 'sh/shrc.d')
-rw-r--r-- | sh/shrc.d/grep.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/sh/shrc.d/grep.sh b/sh/shrc.d/grep.sh index df2101aa..2f360716 100644 --- a/sh/shrc.d/grep.sh +++ b/sh/shrc.d/grep.sh @@ -14,6 +14,14 @@ grep() { [ -e "$HOME"/.cache/grep/binary-files ] && set -- --binary-files=without-match "$@" + # Add --devices=skip to gracefully skip devices + [ -e "$HOME"/.cache/grep/devices ] && + set -- --devices=skip "$@" + + # Add --directories=skip to gracefully skip directories + [ -e "$HOME"/.cache/grep/directories ] && + set -- --directories=skip "$@" + # Add --exclude to ignore .gitignore and .gitmodules files [ -e "$HOME"/.cache/grep/exclude ] && set -- \ |