vm_remote

   1 #!/bin/sh
   2 set -e -f ${DRY_RUN:+-n} -u
   3 tool=${0%/*}
   4 . "$tool"/lib/functions.sh
   5 . "$tool"/etc/vm.sh
   6
   7 rule_help () { # SYNTAX: [--hidden]
   8         local hidden; [ ${1:+set} ] || hidden=set
   9         cat >&2 <<-EOF
  10                 DESCRIPTION:
  11                   ce script regroupe des règles pour administrer la VM ($vm_fqdn)
  12                   _depuis_ une machine distante ;
  13                   il sert à la fois d'outil (aisément bidouillable)
  14                   et de documentation (préçise).
  15                   Voir \`$tool/vm_host'   pour les règles côté machine hôte ($vm_host).
  16                   Voir \`$tool/vm_hosted' pour les règles côté VM hébergée ($vm_fqdn).
  17                 SYNTAX: $0 \$RULE \${RULE}_SYNTAX
  18                 RULES:
  19                 $(sed -ne "s/^rule_\(${hidden:+[^_]}[^ ]*\) () {\( *#.*\|\)/  \1\2/p" "$tool"/etc/vm.sh "$0")
  20                 ENVIRONMENT:
  21                   TRACE # affiche les commandes avant leur exécution
  22                 $(sed -ne 's/^readonly \([^ ][^ =]*\).*}\( *#.*\|\)$/\t$\1\2/p' "$tool"/etc/vm.sh "$0")
  23                 EOF
  24  }
  25
  26 rule_git_config () { # DESCRIPTION: configure le .git local pour bien pousser
  27         (
  28         cd "$tool"
  29         git remote rm host || true
  30         git remote add host $vm_host:tool/vm
  31         git config --replace remote.host.push HEAD:refs/remotes/master
  32         git remote rm hosted || true
  33         git remote add hosted root@$vm_fqdn:tool/vm
  34         git config --replace remote.hosted.push HEAD:refs/remotes/master
  35         )
  36  }
  37 rule_git_push () { # SYNTAX: {host|hosted} $git_push_options
  38         local remote=${1#remote=}; shift
  39         GIT_SSH=./vm_ssh git push -v "$remote" "$@"
  40  }
  41
  42 rule_ssh () {
  43         "$tool"/vm_ssh $vm_fqdn "$@"
  44  }
  45 rule__ssh_known_hosts_update () {
  46         rule ssh \
  47          -o StrictHostKeyChecking=no \
  48          -o CheckHostIP=no \
  49          -o HashKnownHosts=no \
  50          whoami
  51  }
  52 rule_key_disk_send () {
  53         gpg --decrypt var/lib/luks/$vm_fqdn.key.gpg |
  54         "$tool"/vm_ssh root@$vm_fqdn "$@" \
  55          -o CheckHostIP=no \
  56          -o HostKeyAlias=init.$vm_fqdn \
  57          tee /lib/cryptsetup/passfifo \>/dev/null
  58  }
  59 rule_key_disk_backup () {
  60         for part in root var home
  61          do
  62                 mkdir -p var/lib/luks
  63                 rule ssh -l root ' \
  64                         tmp=$(mktemp)
  65                         cryptsetup luksHeaderBackup \
  66                          /dev/$vm_lvm_vg/${vm_lvm_lv}_${part} \
  67                          --header-backup-file "$tmp" \
  68                         cat "$tmp"
  69                         shred --remove "$tmp"
  70                  ' |
  71                 gpg --encrypt --recipient $USER@ \
  72                  -o var/lib/luks/${vm_lvm_lv}_${part}.luks.gpg
  73          done
  74  }
  75
  76 rule=${1:-help}
  77 ${1+shift}
  78 case $rule in
  79  (help);;
  80  (*)
  81         assert 'test ! "$(hostname --fqdn)" = "$vm_fqdn"' vm_fqdn
  82         assert 'test ! "$(hostname --fqdn)" = "$vm_host"' vm_host
  83         ;;
  84  esac
  85 rule $rule "$@"