tools/commit and push

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