aboutsummaryrefslogtreecommitdiff
path: root/wiki
diff options
context:
space:
mode:
authorHugo Hörnquist <hugo@lysator.liu.se>2023-02-02 12:10:22 +0100
committerHugo Hörnquist <hugo@lysator.liu.se>2023-02-02 12:10:22 +0100
commitaf9fb500511b3644fc921510f4dc5ab3478eaa6a (patch)
tree43dc41786fbbf9257bbe05de91278ff45eb2fb3a /wiki
parentwiki script shellcheck + arrays. (diff)
downloadwiki-public-af9fb500511b3644fc921510f4dc5ab3478eaa6a.tar.gz
wiki-public-af9fb500511b3644fc921510f4dc5ab3478eaa6a.tar.xz
Add grep to wiki script.
Diffstat (limited to 'wiki')
-rwxr-xr-xwiki8
1 files changed, 8 insertions, 0 deletions
diff --git a/wiki b/wiki
index 45b2065..ef95341 100755
--- a/wiki
+++ b/wiki
@@ -44,6 +44,10 @@ function ammend {
fi
}
+function grep_ {
+ $GIT grep -E -i "$@"
+}
+
#
# Run function on wiki
#
@@ -63,6 +67,10 @@ function wiki_do {
shift
ammend "$@"
;;
+ grep)
+ shift
+ grep_ "$@"
+ ;;
g|go)
commit "$@"
$GIT push