pull-usrlocalsrc

   1 #! /bin/sh
   2
   3 has_remote() {
   4    git remote show "$1" >/dev/null 2>&1
   5 }
   6
   7 prog_dir="`dirname \"$0\"`" &&
   8
   9 cat "$prog_dir"/locate-all.list | grep -F /usr/local/src |
  10 while read d; do
  11    echo "----- $d -----"; cd "$d" &&
  12    if has_remote upstream && has_remote origin; then
  13       { git pull upstream master || git pull upstream main:master; } &&
  14          git push origin master || exit 1
  15    elif has_remote origin; then
  16       git pull origin master || exit 1
  17    fi
  18 done