projects
/
javainspect.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
#!/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."
echo ""
echo "Press ENTER to close this window."