bin/update-wiki

   1 #!/bin/sh
   2
   3 set -e
   4 umask 0002
   5
   6 WC="/srv/dsa.debian.org/dsa-wiki"
   7 DEST="/srv/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         --refresh \
  24         --atom \
  25         --rss \
  26         --plugin template \
  27         --plugin toggle \
  28         --plugin inline \
  29         --plugin sidebar \
  30         --plugin table \
  31         --plugin creole \
  32         --plugin git \
  33         --disable-plugin openid \
  34         --disable-plugin sandbox \
  35         --disable-plugin passwordauth \
  36         "$WC/input" \
  37         "$DEST"