server/synchro.sh

#!/bin/sh

cd `dirname "$0"`

if [ "$UID" = "0" ]
then
    SCRIPT=`pwd`/`basename "$0"`
    su -c "sh $SCRIPT $@" synchro
    exit $?
fi

OPTS=
if [ "$1" = "delete" ]
then
    OPTS="$OPTS --delete"
fi

rsync -e ssh -av  $OPTS out/errors phobos:~/
rsync -e ssh -av  $OPTS out/htdocs phobos:~/
rsync -e ssh -av  $OPTS out/teams phobos:~/
rsync -e ssh -avL $OPTS files phobos:~/
rsync -e ssh -av  $OPTS nginx.conf submission.php misc/server.crt misc/server.key misc/pki/cacert.crt misc/pki/crl.pem phobos:~/

rsync -e ssh -av phobos:~/submission/ submission/
ssh phobos "rm -fv ~/submission/*"

exit $?