Added round pincers

[physical.git] / repository handling tools / update web site

diff --git a/repository handling tools/update web site b/repository handling tools/update web site
index 3c33d49..9943900 100755 (executable)
--- a/repository handling tools/update web site
+++ b/repository handling tools/update web site
@@ -2,7 +2,7 @@
 
 # I use this script to update project website.
 
 
 # I use this script to update project website.
 

-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 ..
 
 
 cd ..