tools/commit and push

   1 #!/bin/bash
   2 cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -- "$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