Updated maintenance scripts

[javainspect.git] / tools / update web site

diff --git a/tools/update web site b/tools/update web site
index ed2bf31..e8ccc71 100755 (executable)
--- a/tools/update web site
+++ b/tools/update web site
@@ -1,9 +1,10 @@
 #!/bin/bash
-cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi;
+cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -- "$0" T; exit; fi
 
-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."