repository handling 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 git add --all
   7 cola
   8 git push
   9
  10 echo ""
  11 echo "Press ENTER to close this window."
  12 read