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
Documentation : ajoute des info() .
[lhc/ateliers.git]
/
vm_remote
diff --git
a/vm_remote
b/vm_remote
index
0b8d0ef
..
a1afa1a
100755
(executable)
--- a/
vm_remote
+++ b/
vm_remote
@@
-37,6
+37,7
@@
rule_git_config () { # DESCRIPTION: configure le .git local pour bien pousser
rule_git_push () { # SYNTAX: {host|hosted} $git_push_options
local remote=${1#remote=}; shift
GIT_SSH=./vm_ssh git push -v "$remote" "$@"
+ info "penser à faire : vm_hosted git_reset"
}
rule_ssh () {