e674bf161f257412a006bee6f0d4d126d00e004f
[physical.git] / repository handling tools / commit and push
1 #!/bin/bash
2
3 cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -- "$0" T; exit; fi;
4
5 cd ..
6
7 git add --all
8 cola
9 git push
10
11 echo ""
12 echo "Press ENTER to close this window."
13 read