su -lc 'cd /var/www && git clone /var/repos/website.git .' plom
# Add encryption key.
-keyservers='sks-keyservers.net/ keys.gnupg.net'
+keyservers='keyserver.ubuntu.com pgp.surf.nl pgp.rediris.es'
set +e
while true; do
do_break=0
# TODO systemctl enable plomlombot.service
# TODO service plomlombot start
+# Set up guiltcards.
+su -lc "git clone /var/repos/guiltcards" plom
+cp "${config_tree_prefix}/setup_scripts/mirror_dir.sh" /home/plom/
+su -lc "./mirror_dir.sh ${old_server} /home/plom/guiltcards/decks" plom
+rm /home/plom/mirror_dir.sh
+
# In the above step, we might have created a root-owned /var/www/html –
# fix this here.
chown -R plom:plom /var/www/html