Documentation : ajoute des info() .

diff --git a/vm_host b/vm_host
index c42fc1c..ba6461d 100755 (executable)
--- a/vm_host
+++ b/vm_host
@@ -92,9 +92,7 @@ rule_vm_start () {
  }
 rule_vm_attach () {
        assert '! pgrep -f "sudo xm console $vm_fqdn"'
-       cat <<-EOF
-               NOTE: Ctrl-] pour se détacher de la console
-               EOF
+       info 'Ctrl-] pour se détacher de la console'
        sudo xm console $vm_fqdn
  }
 rule_vm_stop () {

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 () {