gitano() { ssh "$GITANO" "$@" } die() { echo "$@" 1>&2 exit 1 }