Use cat

I admit it looks like a classic useless use of cat. But see the script "pull".

diff --git a/do-all b/do-all
index bededfb739089c4a38ac676911f6c6102d5a429a..5f5a226f073f82de369935ecfc06a1bbc7bf2dba 100755 (executable)
--- a/do-all
+++ b/do-all
@@ -2,10 +2,11 @@
 
 prog_dir="`dirname \"$0\"`" &&
 
+cat "$prog_dir"/locate-all.list |
 while true; do
    read d || exit 0
    if ! test -d "$d"; then continue; fi
    test -d "$d"/.git && g="$d"/.git || g="$d"
    b="`basename \"$d\" .git`"
    eval "$@"
-done < "$prog_dir"/locate-all.list
+done