clone.sh

   1 #!/bin/bash
   2
   3 export PATH=/home/pasky/bin:$PATH
   4
   5 set -e
   6
   7 proj="$1"
   8
   9 clone_project() {
  10 log="$(mktemp -t repomgr-XXXXXX)"
  11 url="$(cat base_url)"
  12 mail="$(cat owner)"
  13
  14 bang() {
  15   if ! "$@" >>"$log" 2>&1; then
  16     {
  17     echo "$* failed with error code $?"
  18     echo "Log follows:"
  19     cat "$log"
  20     } | mail -s "[repo.or.cz] $proj clone failed" "$mail",pasky@ucw.cz
  21
  22     # This removes any remnants from /srv/git/$proj.git _and_ gets rid
  23     # of the group record.
  24     perl -I/home/repo/repomgr/cgi -MGit::RepoCGI -e 'Git::RepoCGI::Project->ghost('"'$proj'"')->delete;'
  25     cd "$basedir" && rm -rf "$proj"/* && rmdir -p "$proj"
  26     rm "$log"
  27     exit 1
  28   fi
  29 }
  30
  31 ref=()
  32 if [ -s objects/info/alternates ]; then
  33         ref=(--reference "$(cat objects/info/alternates | sed 's#/objects$##')")
  34 fi
  35 bang git clone "${ref[@]}" --bare "$url" repodir
  36 ! [ -d /srv/git/"$proj".git ]
  37 lproj="$(echo "$proj" | sed 's/^\(.*\/\)\(.*\)/\1/')"
  38 if [ z"$lproj" != z"$proj" ]; then
  39         bang mkdir -m 0775 -p /srv/git/"$lproj"
  40 fi
  41 bang mv repodir /srv/git/"$proj".git
  42 bang mkdir -m 0775 -p ctags
  43 bang chmod g+w base_url owner description homepage README.html
  44 bang mv base_url ctags owner description homepage README.html /srv/git/"$proj".git/
  45 #bang mv objects/info/alternates /srv/git/"$proj".git/objects/info/alternates # git clone should've set up that for us
  46 GIT_DIR=/srv/git/"$proj".git bang git config --bool --add mirror.allowed true
  47 GIT_DIR=/srv/git/"$proj".git bang git update-server-info
  48 cd "$basedir"  && rm -rf "$proj"/* && rmdir -p "$proj"
  49 # NO bang AT THIS POINT! rm -r depends on cwd.
  50 mail -s "[repo.or.cz] $proj clone completed" "$mail",pasky@ucw.cz <<EOT
  51 Congratulations! The clone of project $proj just completed. You can now adjust
  52 the project settings at
  53
  54         http://repo.or.cz/m/editproj.cgi?name=$proj
  55
  56 Then check out the cool stuff at http://repo.or.cz/w/$proj.git !
  57 EOT
  58 rm "$log"
  59 }
  60
  61 basedir=$(pwd)
  62
  63 if [ -f "$proj"/base_url ]; then
  64         cd "$proj"
  65         clone_project
  66 else
  67         # a collection of subprojects
  68         find "$proj" -name base_url |
  69                 sed -e 's/\/base_url$//' |
  70                 while read proj; do
  71                         (cd "$proj" && clone_project) || :
  72                 done
  73 fi