synchro: add synchronization script

configs/synchro.sh

@@ -0,0 +1,30 @@
+#!/bin/bash
+
+# This script synchronizes first, the generated frontend and then
+# retrieves submissions
+
+BASEDIR="/srv"
+FRONTEND_HOSTNAME="deimos"
+
+SSH_OPTS="/usr/bin/ssh -p 22 -i ~/.ssh/id_ed25519 -o ControlMaster=auto -o ControlPath=/root/.ssh/%r@%h:%p -o ControlPersist=2 -o PasswordAuthentication=no -o StrictHostKeyChecking=no"
+
+cd "${BASEDIR}"
+
+# Synchronize CA
+rsync -e "$SSH_OPTS" -av --delete PKI/shared "${FRONTEND_HOSTNAME}":"${BASEDIR}"/PKI
+
+I=0
+
+touch /tmp/stop
+while ! [ -f SETTINGS/stop ] || [ /tmp/stop -nt SETTINGS/stop ]
+do
+    # Synchronize static files pages
+    rsync -e "$SSH_OPTS" -av --delete TEAMS SETTINGS FILES "${FRONTEND_HOSTNAME}":"${BASEDIR}"
+
+    # Synchronize submissions
+    rsync -e "$SSH_OPTS" -av --delay-updates --temp-dir=.tmp/ --partial-dir=.tmp/ --remove-source-files "${FRONTEND_HOSTNAME}":"${BASEDIR}"/submissions/ submissions/
+
+    sleep 0.3
+done
+
+echo See you