bin/update-wiki

   1 #!/bin/sh
   2
   3 set -e
   4 umask 0002
   5
   6 WC="/org/dsa.debian.org/dsa-wiki"
   7 DEST="/org/dsa.debian.org/htdocs"
   8 URL="http://dsa.debian.org/"
   9 UPDATE=1
  10
  11 ! [ -e "$HOME/.dsa-wiki-local" ] || . "$HOME/.dsa-wiki-local"
  12
  13 [ "$UPDATE" != 1 ] || ( cd "$WC" && env -i git pull )
  14
  15 env -i ikiwiki \
  16         --timeformat '%F' \
  17         --wikiname 'DSA' \
  18         --url "$URL" \
  19         --adminemail debian-admin@debian.org \
  20         --underlaydir "$WC/underlay" \
  21         --templatedir "$WC/templates" \
  22         --no-discussion \
  23         --rebuild \
  24         --plugin template \
  25         --plugin toggle \
  26         --plugin inline \
  27         --plugin sidebar \
  28         --plugin table \
  29         --plugin creole \
  30         --disable-plugin openid \
  31         --disable-plugin sandbox \
  32         --disable-plugin passwordauth \
  33         "$WC/input" \
  34         "$DEST"