From 43dd7fe293ce4a22153053218645a1a6282ab485 Mon Sep 17 00:00:00 2001
From: Julien Moutinho <julm+burette@autogeree.net>
Date: Wed, 20 Feb 2013 01:25:28 +0100
Subject: [PATCH] Documentation : ajoute des info() .

---
 vm_host   | 4 +---
 vm_remote | 1 +
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/vm_host b/vm_host
index c42fc1c..ba6461d 100755
--- 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
--- 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 () {
-- 
2.20.1