mirroring/clone.sh

   1 #!/bin/bash
   2 #
   3 # Invoked from mirroring/cloned.pl
   4
   5 . @basedir@/shlib.sh
   6
   7 set -e
   8
   9 projdir="$1"
  10 proj="${projdir%.git}"
  11
  12 cd "$cfg_reporoot/$projdir"
  13 trap "echo '@OVER@'; touch .clone_failed" EXIT
  14 url="$(cat base_url)"
  15 mail="$(cat owner)"
  16
  17 # Configure
  18 echo "Configuring repository..."
  19 git config --bool --add mirror.allowed true
  20 git remote add origin "$url" # superfluous?
  21
  22 # Initial mirror
  23 echo "Initiating mirroring..."
  24 git mirror "$url"
  25
  26 # The rest
  27 echo "Final touches..."
  28 git update-server-info
  29 trap "" EXIT
  30 mail -s "[$cfg_name] $proj clone completed" "$mail,$cfg_admin" <<EOT
  31 Congratulations! The clone of project $proj just completed.
  32
  33         * Source URL: $url
  34         * GitWeb interface: $cfg_gitweburl/$projdir
  35         * Project settings: $cfg_webadmurl/editproj.cgi?name=$proj
  36
  37 Have a lot of fun.
  38 EOT
  39
  40 echo "Mirroring finished successfuly!"
  41 echo "@OVER@"