#!/bin/bash
cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi;

cd ..

cola
git push

echo ""
echo "Press ENTER to close this window."
read