tools/commit and push

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