diff --git a/deploy-seafile b/deploy-seafile new file mode 100755 index 0000000..6d06563 --- /dev/null +++ b/deploy-seafile @@ -0,0 +1,8 @@ +#!/bin/sh +# +# Deploys my site to ibisc.univ-evry.fr/~sivanov/ via Seafile +# synchronisation. +# +# The Seafile client must be running for the update to actually take +# effect. +cp -arv www ~/tmp/Seafile/ivanov-page-perso