First login to widor: ssh widor.debian.org To update the theme itself, edit files in these dirs: python files: /srv/wiki.debian.org/var/moin/data/plugin/theme/ CSS & images: /srv/wiki.debian.org/usr/htdocs/debwiki/ To change the default theme, uncomment the theme_default line and change 'rightsidebar' to 'debwiki'. And remove the .pyc file. $EDITOR /srv/wiki.debian.org/etc/moin/wikiconfig.py rm /srv/wiki.debian.org/etc/moin/wikiconfig.pyc To make the config file or theme file changes live: touch /srv/wiki.debian.org/bin/moin.wsgi I'll sync any config changes to the git repo on alioth afterwards.