script to update web site

diff --git a/tools/update web site b/tools/update web site
new file mode 100755 (executable)
index 0000000..282c556
--- /dev/null
+++ b/tools/update web site
@@ -0,0 +1,14 @@
+#!/bin/bash
+cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi;
+
+cd ..
+
+rsync -avz --delete -e 'ssh -p 10006' ./ \
+      --exclude="tools/" \
+      --exclude=".git/" \
+      n0@www3.svjatoslav.eu:/mnt/big/projects/physical/
+
+
+echo ""
+echo "Press ENTER to close this window."
+read