pull-usrlocalsrc: pull from source, push to origin

[git-scripts.git] / do-all

diff --git a/do-all b/do-all
index 2a8e19baf10541e933d115cbce6574ff50f77abd..4b87ab27227573a16963a5fbe53542eb937a6a01 100755 (executable)
--- a/do-all
+++ b/do-all
@@ -1,11 +1,11 @@
-#! /usr/bin/env bash
+#! /bin/sh
 
 prog_dir="`dirname \"$0\"`" &&
 
-while true; do
-   read d || exit 0
-   if ! test -d "$d"; then continue; fi
+cat "$prog_dir"/locate-all.list |
+while read d; do
+   if ! test -d "$d"; then echo "No such dir: $d" >&2; continue; fi
    test -d "$d"/.git && g="$d"/.git || g="$d"
    b="`basename \"$d\" .git`"
    eval "$@"
-done < "$prog_dir"/locate-all.list
+done