aboutsummaryrefslogtreecommitdiff
path: root/sh/profile.d
diff options
context:
space:
mode:
authorTom Ryder <tom@sanctum.geek.nz>2016-08-21 01:31:52 +1200
committerTom Ryder <tom@sanctum.geek.nz>2016-08-21 01:31:52 +1200
commit0ed6fddde6b4a2464d83016842859b65f69c1bea (patch)
treea558a8df5b22961ebbe3cce27f0503bae7ff5bf8 /sh/profile.d
parentStrip trailing period from sshi(1) hostnames (diff)
downloaddotfiles-0ed6fddde6b4a2464d83016842859b65f69c1bea.tar.gz
dotfiles-0ed6fddde6b4a2464d83016842859b65f69c1bea.zip
Add --devices and --directories to grep(1) opts
Diffstat (limited to 'sh/profile.d')
-rw-r--r--sh/profile.d/grep.sh10
1 files changed, 8 insertions, 2 deletions
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