Pull all repositories in /usr/local/src

diff --git a/pull-usrlocalsrc b/pull-usrlocalsrc
new file mode 100755 (executable)
index 0000000..2f4c029
--- /dev/null
+++ b/pull-usrlocalsrc
@@ -0,0 +1,9 @@
+#! /bin/sh
+
+prog_dir="`dirname \"$0\"`" &&
+
+cat "$prog_dir"/locate-all.list | grep -F /usr/local/src |
+while true; do
+   read d || exit 0
+   echo "----- $d -----"; cd "$d" && git pull origin || exit 1
+done