diff options
author | Hugo Hörnquist <hugo@lysator.liu.se> | 2023-02-02 12:10:22 +0100 |
---|---|---|
committer | Hugo Hörnquist <hugo@lysator.liu.se> | 2023-02-02 12:10:22 +0100 |
commit | af9fb500511b3644fc921510f4dc5ab3478eaa6a (patch) | |
tree | 43dc41786fbbf9257bbe05de91278ff45eb2fb3a /wiki | |
parent | wiki script shellcheck + arrays. (diff) | |
download | wiki-public-af9fb500511b3644fc921510f4dc5ab3478eaa6a.tar.gz wiki-public-af9fb500511b3644fc921510f4dc5ab3478eaa6a.tar.xz |
Add grep to wiki script.
Diffstat (limited to 'wiki')
-rwxr-xr-x | wiki | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -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 |