057b511afb9ab4004d683838c1f504d1dc36204b
[sixth.git] / tools / commit and push
1 #!/bin/bash
2 cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi;
3
4 cd ..
5
6 cola
7 git push
8
9 echo ""
10 echo "Press ENTER to close this window."
11 read