Merge branch 'master' of ssh://db.debian.org/git/dsa-wiki
[mirror/dsa-wiki.git] / 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"