tools/synchronize

   1 #!/bin/bash
   2 cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -- "$0" T; exit; fi
   3
   4 cd ..
   5
   6 # pull latest content from repository
   7 git pull
   8
   9 # stage all changes
  10 git add --all
  11
  12 # open GUI to confirm/revert/commit changes
  13 cola
  14
  15 # push changes to remote repository
  16 git push
  17
  18
  19 echo ""
  20 echo "Press ENTER to close this window."
  21 read