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 pull
  10 git push
  11
  12 echo ""
  13 echo "Press ENTER to close this window."
  14 read