From af9fb500511b3644fc921510f4dc5ab3478eaa6a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= <hugo@lysator.liu.se>
Date: Thu, 2 Feb 2023 12:10:22 +0100
Subject: Add grep to wiki script.

---
 wiki | 8 ++++++++
 1 file changed, 8 insertions(+)

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
-- 
cgit v1.2.3