From b5a9c693b589922bd5aa6f97c18b7f04cce60043 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Matthias=20Kr=C3=BCger?= <matthias.krueger@famsik.de>
Date: Sun, 2 Jun 2013 08:31:06 +0200
Subject: [PATCH] Try implementing some grep functionality for ./all script.
 Basically works like  ./all each -k git grep -I May still need some
 improvements.

---
 misc/tools/all/git.subr | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/misc/tools/all/git.subr b/misc/tools/all/git.subr
index 69ad888f..41150d8f 100644
--- a/misc/tools/all/git.subr
+++ b/misc/tools/all/git.subr
@@ -960,6 +960,14 @@ case "$cmd" in
 		$ECHO "  $SELF update|pull [-N] [-s | -h [-p] | -g [-p]] [-l de|nl|default]"
 		handled=false
 		;;
+	grep)
+		for d in $repos; do
+			if verbose cd "$d0/$d"; then
+					git grep -I "$@" || true
+				cd "$d0"
+			fi
+		done
+		;;
 	*)
 		handled=false
 		;;
-- 
2.39.2