Polissage : var/pub/ssh/*.key : commentaire.

[lhc/ateliers.git] / vm_hosted

diff --git a/vm_hosted b/vm_hosted
index 21f56d6..8d2470f 100755 (executable)
--- a/vm_hosted
+++ b/vm_hosted
@@ -10,7 +10,8 @@ rule_help () { # SYNTAX: [--hidden]
                DESCRIPTION:
                  ce script regroupe des règles pour administrer la VM ($vm_fqdn)
                  _depuis_ la VM hébergée ($vm_fqdn) ;
-                 il sert à la fois d'outil et de documentation.
+                 il sert à la fois d'outil (aisément bidouillable)
+                 et de documentation (préçise).
                  Voir \`$tool/vm_host' pour les règles côté machine hôte ($vm_host).
                SYNTAX: $0 \$RULE \${RULE}_SYNTAX
                RULES:
@@ -31,12 +32,12 @@ rule_git_config () {
 rule_git_reset () {
        (
        cd "$tool"
-       git checkout -f -B master origin
+       git checkout -f -B master remotes/master
        git clean -f -d -x
        )
  }
 
-rule_chrooted () {
+rule__chrooted_init () { # NOTE: est-ce bien utile à un moment ?
        export LANG=C
        export LC_CTYPE=C
        . /etc/profile
@@ -835,7 +836,6 @@ case $rule in
  (help);;
  (*)
        assert 'test "$(hostname --fqdn)" = "$vm_fqdn"' vm_fqdn
-       ${TRACE:+set -x}
        ;;
  esac
 rule $rule "$@"