Polissage : help et git_config.
[lhc/ateliers.git] / vm_remote
index 1a599dc..9b37839 100755 (executable)
--- a/vm_remote
+++ b/vm_remote
@@ -4,56 +4,58 @@ tool=${0%/*}
 . "$tool"/lib/functions.sh
 . "$tool"/etc/vm.sh
 
-rule_help () {
+rule_help () { # SYNTAX: [--hidden]
+       local hidden; [ ${1:+set} ] || hidden=set
        cat >&2 <<-EOF
-               DESCRIPTION: ce script regroupe des fonctions utilitaires
-                            pour gérer la VM _depuis_ une machine distante ;
-                            il sert à la fois d'outil et de documentation.
-                            Voir \`$tool/vm_host'   pour les utilitaires côté machine hôte.
-                            Voir \`$tool/vm_hosted' pour les utilitaires côté VM hébergée.
+               DESCRIPTION:
+                 ce script regroupe des règles pour administrer la VM ($vm_fqdn)
+                 _depuis_ une machine distante ;
+                 il sert à la fois d'outil et de documentation.
+                 Voir \`$tool/vm_host'   pour les règles côté machine hôte ($vm_host).
+                 Voir \`$tool/vm_hosted' pour les règles côté VM hébergée ($vm_fqdn).
                SYNTAX: $0 \$RULE \${RULE}_SYNTAX
                RULES:
-               $(sed -ne 's/^rule_\([^_][^ ]*\) () {\( *#.*\|\)/\t\1\2/p' "$tool"/etc/vm.sh "$0")
+               $(sed -ne "s/^rule_\(${hidden:+[^_]}[^ ]*\) () {\( *#.*\|\)/  \1\2/p" "$tool"/etc/vm.sh "$0")
                ENVIRONMENT:
                  TRACE # affiche les commandes avant leur exécution
                $(sed -ne 's/^readonly \([^ ][^ =]*\).*}\( *#.*\|\)$/\t$\1\2/p' "$tool"/etc/vm.sh "$0")
                EOF
  }
 
-rule_git_config () {
+rule_git_config () { # DESCRIPTION: configure le .git local pour bien pousser
        (
        cd "$tool"
-       git config remote.host.url >/dev/null ||
+       git remote rm host || true
        git remote add host $vm_host:tool/vm
-       git config --replace remote.host HEAD:refs/heads/origin
-       git config remote.vm.url >/dev/null ||
-       git remote add vm root@$vm_fqdn:tool/vm
-       git config --replace remote.$vm HEAD:refs/heads/origin
+       git config --replace remote.host.push HEAD:refs/heads/origin
+       git remote rm hosted || true
+       git remote add hosted root@$vm_fqdn:tool/vm
+       git config --replace remote.hosted.push HEAD:refs/heads/origin
        )
  }
-rule_git_push () { # SYNTAX: {host|vm} $git_commit_options
+rule_git_push () { # SYNTAX: {host|hosted} $git_push_options
        local remote=${1#remote=}; shift
-       GIT_SSH=./vm_ssh git push -v -f "$remote"
+       GIT_SSH=./vm_ssh git push -v "$remote" "$@"
  }
 
 rule_ssh () {
        "$tool"/vm_ssh $vm_fqdn "$@"
  }
 rule__ssh_known_hosts_update () {
-       "$tool"/vm_ssh $vm_fqdn "$@" \
+       rule ssh \
         -o StrictHostKeyChecking=no \
         -o CheckHostIP=no \
         -o HashKnownHosts=no \
         whoami
  }
-rule_disk_key_send () {
+rule_key_disk_send () {
        gpg --decrypt var/lib/luks/$vm_fqdn.key.gpg |
        "$tool"/vm_ssh root@$vm_fqdn "$@" \
         -o CheckHostIP=no \
         -o HostKeyAlias=init.$vm_fqdn \
         tee /lib/cryptsetup/passfifo \>/dev/null
  }
-rule_disk_key_backup () {
+rule_key_disk_backup () {
        for part in root var home
         do
                mkdir -p var/lib/luks