pushall

   1 #!/bin/sh
   2
   3 sites='ko repo github2 sfjp sf.net gob-private gph '
   4 nexts='ko repo github2 gob-private gph'
   5
   6 push_retry () {
   7         sites=$1
   8         shift
   9         while :
  10         do
  11                 failed=
  12                 for remote in $sites
  13                 do
  14                         printf "%s: " "$remote"
  15                         git push --follow-tags "$remote" "$@" || failed="$failed$remote "
  16                 done
  17
  18                 if test -z "$failed"
  19                 then
  20                         break
  21                 elif test "x$sites" = "x$failed"
  22                 then
  23                         echo >&2 "Failed to push to: $sites"
  24                         exit 1
  25                 fi
  26                 sites="$failed"
  27         done
  28 }
  29
  30 case " $* " in
  31 *' +next '*)
  32         push_retry "$nexts" "$@"
  33         exit $?
  34         ;;
  35 esac
  36
  37 push_retry "$sites" "$@"
  38
  39 case "$#,$*" in
  40 0,* | 1,-n)
  41         printf "github mirror: "
  42         git push github "$@" || exit $?
  43         for topic in htmldocs manpages
  44         do
  45                 printf "%s: " "$topic"
  46                 ( cd ../git-$topic.git && git push "$@") || exit
  47         done
  48         ;;
  49 esac