jobs/update.sh

   1 #!/bin/bash
   2
   3 . shlib.sh
   4
   5 set -e
   6
   7 proj="$1"
   8
   9 bang_setup
  10 bang_once=1
  11 bang_action="update"
  12
  13 cd "$proj.git"
  14 url="$(cat base_url)"
  15 mail="$(cat owner)"
  16
  17 bang git --git-dir=. mirror "$url"
  18 bang git --git-dir=. update-server-info
  19 date -R >.last_refresh
  20
  21 if [ -e .banged ]; then
  22         echo "$proj update succeeded - failure recovery" | mail -s "[$cfg_name] $proj update succeeded" "$mail,$cfg_admin"
  23         rm .banged
  24 fi