Updated maintenance scripts

[javainspect.git] / tools / update web site

diff --git a/tools/update web site b/tools/update web site
index 9c3e204..e8ccc71 100755 (executable)
--- a/tools/update web site
+++ b/tools/update web site
@@ -1,7 +1,11 @@
 #!/bin/bash
+cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -- "$0" T; exit; fi
 
-cd "${0%/*}"
+(
+    cd ..
+    rsync -avz --delete  -e 'ssh -p 10006' doc/ n0@www3.svjatoslav.eu:/mnt/big/projects/javainspect/
+)
 
-cd ..
-
-rsync -avz --delete  -e 'ssh -p 10006' doc/ n0@www3.svjatoslav.eu:/mnt/big/projects/javainspect/
+echo ""
+echo "Press ENTER to close this window."
+read