From 0ed6fddde6b4a2464d83016842859b65f69c1bea Mon Sep 17 00:00:00 2001 From: Tom Ryder Date: Sun, 21 Aug 2016 01:31:52 +1200 Subject: Add --devices and --directories to grep(1) opts --- sh/profile.d/grep.sh | 10 ++++++++-- sh/shrc.d/grep.sh | 8 ++++++++ 2 files changed, 16 insertions(+), 2 deletions(-) (limited to 'sh') diff --git a/sh/profile.d/grep.sh b/sh/profile.d/grep.sh index 892351ca..d1ef3ba1 100644 --- a/sh/profile.d/grep.sh +++ b/sh/profile.d/grep.sh @@ -13,8 +13,14 @@ # Iterate through some useful options and create files to show they're # available - for opt in binary-files color exclude exclude-dir ; do - grep -q -- --"$opt" "$gcd"/help || continue + set -- binary-files \ + color \ + devices \ + directories \ + exclude \ + exclude-dir + for opt ; do + grep -Eq -- --"$opt" "$gcd"/help || continue touch -- "$gcd"/"$opt" || exit done fi 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 -- \ -- cgit v1.2.3