dépôts
/
lhc
/
ateliers.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Correction : vm_hosted : user_admin_add.
[lhc/ateliers.git]
/
vm_remote
diff --git
a/vm_remote
b/vm_remote
index
02b9540
..
987be13
100755
(executable)
--- a/
vm_remote
+++ b/
vm_remote
@@
-33,8
+33,6
@@
rule_git_config () {
}
rule_git_push () { # SYNTAX: {host|vm} $git_commit_options
local remote=${1#remote=}; shift
}
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"
}
GIT_SSH=./vm_ssh git push -v -f "$remote"
}
@@
-79,7
+77,7
@@
case $rule in
(*)
test ! "$(hostname --fqdn)" = "$vm_fqdn"
test ! "$(hostname --fqdn)" = "$vm_host"
(*)
test ! "$(hostname --fqdn)" = "$vm_fqdn"
test ! "$(hostname --fqdn)" = "$vm_host"
- set -x
+ ${TRACE:+set -x}
;;
esac
rule_$rule "$@"
;;
esac
rule_$rule "$@"