}
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"
}
case $rule in
(help);;
(*)
- test ! "$(hostname --fqdn)" = "$vm_fqdn"
- test ! "$(hostname --fqdn)" = "$vm_host"
- set -x
+ test ! "$(hostname --fqdn)" = "$vm_fqdn" &&
+ test ! "$(hostname --fqdn)" = "$vm_host" ||
+ error 1 "mauvaise machine"
+ ${TRACE:+set -x}
;;
esac
rule_$rule "$@"