pull-usrlocalsrc

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