}
rule_git_push () { # SYNTAX: {host|vm} $git_commit_options
local remote=${1#remote=}; shift
- git add . &&
- git commit -a -C HEAD "$@" &&
GIT_SSH=./vm_ssh git push -v -f "$remote"
}
(*)
test ! "$(hostname --fqdn)" = "$vm_fqdn"
test ! "$(hostname --fqdn)" = "$vm_host"
- set "${TRACE:+-x}"
+ ${TRACE:+set -x}
;;
esac
rule_$rule "$@"