Merge remote-tracking branch 'origin/matthiaskrgr/all_grep'

diff --git a/misc/tools/all/git.subr b/misc/tools/all/git.subr
index 69ad888f10faf3b5f84f8d7297213ba82a1b55a6..f7923285903bc3673364216280ae82b950325d0c 100644 (file)
--- a/misc/tools/all/git.subr
+++ b/misc/tools/all/git.subr
@@ -958,8 +958,17 @@ case "$cmd" in
                $ECHO "  $SELF keygen"
                $ECHO "  $SELF push|commit [-s]"
                $ECHO "  $SELF update|pull [-N] [-s | -h [-p] | -g [-p]] [-l de|nl|default]"
+               $ECHO "  $SELF grep \"<regex>\""
                handled=false
                ;;
+       grep)
+               for d in $repos; do
+                       if verbose cd "$d0/$d"; then
+                               git grep -In "$@" || true
+                               cd "$d0"
+                       fi
+               done
+               ;;
        *)
                handled=false
                ;;