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

This commit is contained in:
Rudolf Polzer 2013-06-16 18:27:18 +02:00
commit 45b21798ff

View File

@ -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
;;