update.sh

   1 #!/bin/sh
   2
   3 set -e
   4
   5 export PATH=/home/pasky/bin:$PATH
   6
   7 cd /home/pasky/WWW/git
   8
   9 export GIT_DIR=/srv/git/git.git
  10 ver=$(git describe maint | cut -d - -f 1)
  11 time=$(git cat-file tag $ver | sed -n 's/^tagger.*> //p' | cut -d ' ' -f 1)
  12 export -n GIT_DIR
  13
  14 verno=$(echo $ver | sed s/^v//)
  15 date=$(date +%F -d "1970-01-01 0:0 +0000 + $time seconds")
  16
  17 oldver=$(sed -n 's/.*@VNUM@-->\([^<]*\)<.*/\1/p' index.html)
  18 [ "$oldver" = "$ver" ] && exit
  19
  20 echo "$oldver -> $ver ($verno, $date)"
  21 echo
  22 sed -i -e '
  23 s/\(@DATE@-->\[\)[^]]*/\1'$date'/
  24 s/\(@VNUM@-->\)[^<]*/\1'$ver'/
  25 s/\(@TARLINK@-->.*git-\).*\(\.tar\)/\1'$verno'\2/
  26 s/\(@NOTESLINK@-->.*RelNotes-\).*\(\.txt\)/\1'$verno'\2/
  27 ' index.html
  28 echo
  29 cat index.html
  30 echo
  31 git commit -m"Automated update: [$date] $oldver -> $ver" index.html
  32 git push