Updated maintenance scripts

[javainspect.git] / tools / commit and push

diff --git a/tools/commit and push b/tools/commit and push
index 057b511..d659072 100755 (executable)
--- a/tools/commit and push
+++ b/tools/commit and push
@@ -1,10 +1,11 @@
 #!/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 ..
-
-cola
-git push
+(
+    cd ..
+    cola
+    git push
+)
 
 echo ""
 echo "Press ENTER to close this window."