Mise-à-jour : TODO .
[lhc/ateliers.git] / vm_host
diff --git a/vm_host b/vm_host
index f754547..04dcc26 100755 (executable)
--- a/vm_host
+++ b/vm_host
@@ -1,42 +1,51 @@
 #!/bin/sh
 set -e -f ${DRY_RUN:+-n} -u
 tool=${0%/*}
-. "$tool"/functions.sh
-. "$tool"/vm.sh
-test "$(hostname --fqdn)" = "$vm_host"
+. "$tool"/lib/rule.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_ son hôte ;
-                            il sert à la fois d'outil et de documentation.
-                            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_ son hôte ($vm_host) ;
+                 il sert à la fois d'outil (aisément bidouillable)
+                 et de documentation (préçise).
+                 Voir \`$tool/vm_hosted' pour les règles côté VM hébergée.
                SYNTAX: $0 \$RULE \${RULE}_SYNTAX
                RULES:
-               $(sed -ne 's/^rule_\([^_][^ ]*\) () {\( *#.*\|\)/\t\1\2/p' "$tool"/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"/vm.sh "$0")
+               $(sed -ne 's/^readonly \([^ ][^ =]*\).*}\( *#.*\|\)$/\t$\1\2/p' "$tool"/etc/vm.sh "$0")
                EOF
  }
 
 readonly vm_dev_disk=/dev/mapper/domU-$(printf %s "$vm_fqdn-disk" | sed -e 's/-/--/g')
 readonly vm_dev_disk_boot="${vm_dev_disk}1"
 
+rule_git_config () {
+       (
+       cd "$tool"
+       git config --replace branch.master.remote .
+       git config --replace branch.master.merge refs/remotes/master
+       )
+ }
 rule_git_reset () {
        (
        cd "$tool"
-       #git checkout -f -B master origin
+       #git checkout -f -B master remotes/master
        # NOTE: pas de -B sous squeeze
        git checkout HEAD'^' &&
-       git branch -f master origin &&
+       git branch -f master remotes/master &&
        git checkout master
        git clean -f -d -x
        )
  }
 
-rule_vm_init () {
-       mk_reg mod=644 own=root:root /etc/xen/$vm_fqdn.cfg <<-EOF
+rule_vm_configure () {
+       sudo install -m 644 -u root -g root /dev/stdin /etc/xen/$vm_fqdn.cfg <<-EOF
                #  -*- mode: python; -*-
                # DOC: http://wiki.xen.org/wiki/Xen_Linux_PV_on_HVM_drivers
                import os, re
@@ -79,12 +88,11 @@ rule_vm_init () {
 rule_vm_start () {
        test ! -e /dev/domU/$vm_fqdn-disk1
        sudo xm create $vm_fqdn.cfg
-       rule_vm_attach
+       rule vm_attach
  }
 rule_vm_attach () {
-       cat <<-EOF
-               NOTE: Ctrl-] pour se détacher de la console
-               EOF
+       assert '! pgrep -f "sudo xm console $vm_fqdn"'
+       info 'Ctrl-] pour se détacher de la console'
        sudo xm console $vm_fqdn
  }
 rule_vm_stop () {
@@ -99,15 +107,15 @@ rule_disk_mount () { # DESCRIPTION: montage du disque de la VM depuis l'hôte
        #sudo xm block-attach 0 phy:/dev/domU/$vm_fqdn-disk $vm_dev_disk w
  }
 rule_disk_umount () { # DESCRIPTION: démontage du disque de la VM depuis l'hôte
-       rule_part_boot_umount
+       rule part_boot_umount
        case $vm_use_lvm in
         (yes)
-               rule_part_lvm_umount
+               rule part_lvm_umount
                ;;
         (no)
-               rule_part_root_umount
-               rule_part_var_umount
-               rule_part_home_umount
+               rule part_root_umount
+               rule part_var_umount
+               rule part_home_umount
                ;;
         (*) exit 1;;
         esac
@@ -172,7 +180,7 @@ rule_disk_format () { # DESCRIPTION: partitionnage du disque de la VM
  }
 
 rule_part_lvm_format () {
-       rule_part_lvm_umount
+       rule part_lvm_umount
        ! sudo vgs | grep -q "^  $vm_lvm_vg " ||
        sudo vgremove $vm_lvm_vg
        sudo pvcreate --dataalignment 512k $vm_lvm_pv
@@ -181,7 +189,7 @@ rule_part_lvm_format () {
        sudo lvcreate --contiguous y -n ${vm_lvm_lv}_root -L 15G     $vm_lvm_vg
        sudo lvcreate --contiguous y -n ${vm_lvm_lv}_var  -L  5G     $vm_lvm_vg
        sudo lvcreate --contiguous y -n ${vm_lvm_lv}_home -l 99%FREE $vm_lvm_vg
-       rule_part_lvm_umount
+       rule part_lvm_umount
  }
 rule_part_lvm_mount () {
        case $vm_use_lvm in
@@ -194,9 +202,9 @@ rule_part_lvm_mount () {
 rule_part_lvm_umount () {
        case $vm_use_lvm in
         (yes)
-               rule_part_root_umount
-               rule_part_var_umount
-               rule_part_home_umount
+               rule part_root_umount
+               rule part_var_umount
+               rule part_home_umount
                ! sudo vgs | grep -q "^  $vm_lvm_vg " ||
                sudo vgchange -a n $vm_lvm_vg
                ;;
@@ -205,33 +213,33 @@ rule_part_lvm_umount () {
  }
 
 rule_part_randomize () { # SYNTAX: $part # NOTE: à anticiper
-       local part=$1
+       local part="$1"
        eval "sudo dd if=/dev/urandom of=\$vm_dev_disk_$part"
  }
-rule_part_randomize_stat () { # SYNTAX: $part # DESCRIPTION: fait afficher la progression de rule_part_clean
-       local part=$1
+rule_part_randomize_stat () { # SYNTAX: $part # DESCRIPTION: fait afficher la progression de rule_part_randomize
+       local part="$1"
        eval "pkill -USR1 -f \"^dd if=/dev/urandom of=\$vm_dev_disk_$part\""
  }
 rule__part_encrypted_format () { # SYNTAX: $part # DESCRIPTION: formatage d'une partition distincte de /
  # NOTE: la clef de chiffrement est dérivée de celle de /,
  #       / doit être déchiffrée pour que cela fonctionne.
-       local part=$1
-       eval "local dev=\$vm_dev_disk_$part"
+       local part="$1"
+       eval "local dev=\"\$vm_dev_disk_$part\""
        test ! -e /dev/mapper/${vm_lvm_lv}_root_deciphered ||
        sudo /bin/sh -c "/lib/cryptsetup/scripts/decrypt_derived ${vm_lvm_lv}_root_deciphered |
        cryptsetup luksFormat --hash=sha512 --key-size=512 \
         --cipher=aes-xts-essiv:sha256 --key-file=- --align-payload=8 $dev"
  }
 rule__part_encrypted_mount () { # SYNTAX: $part
-       local part=$1
-       eval "local dev=\$vm_dev_disk_$part"
+       local part="$1"
+       eval "local dev=\"\$vm_dev_disk_$part\""
        test -e /dev/mapper/${vm_lvm_lv}_${part}_deciphered ||
        sudo /bin/sh -c "/lib/cryptsetup/scripts/decrypt_derived ${vm_lvm_lv}_root_deciphered |
        cryptsetup luksOpen --key-file=- $dev ${vm_lvm_lv}_${part}_deciphered"
  }
 rule__part_encrypted_umount () { # SYNTAX: $part
-       local part=$1
-       eval "local dev=\$vm_dev_disk_$part"
+       local part="$1"
+       eval "local dev=\"\$vm_dev_disk_$part\""
        test ! -e     /dev/mapper/${vm_lvm_lv}_${part}_deciphered ||
        sudo cryptsetup luksClose ${vm_lvm_lv}_${part}_deciphered
  }
@@ -240,23 +248,24 @@ rule_part_root_format () {
        if ! mount | grep -q "^$vm_dev_disk_root "
         then
                sudo cryptsetup luksFormat --hash=sha512 --key-size=512 \
-                --cipher=aes-xts-essiv:sha256 --key-file=- --align-payload=8 $vm_dev_disk_root
-               sudo cryptsetup luksOpen --key-file=- $vm_dev_disk_root ${vm_lvm_lv}_root_deciphered
+                --cipher=aes-xts-essiv:sha256 --align-payload=8 $vm_dev_disk_root
+               sudo cryptsetup luksOpen $vm_dev_disk_root ${vm_lvm_lv}_root_deciphered
                sudo mke2fs -t ext4 -c -c -m 5 -T ext4 -b $vm_e2fs_block_size \
                 -E resize=30G${vm_e2fs_extended_options} \
                 -L ${vm_lvm_lv}_root \
                 /dev/mapper/${vm_lvm_lv}_root_deciphered
                ! mountpoint -q /mnt/$vm_fqdn
                sudo mount -v /dev/mapper/${vm_lvm_lv}_root_deciphered /mnt/$vm_fqdn
-               mk_dir mod=0770 own=root:root /mnt/$vm_fqdn/boot
-               mk_dir mod=0770 own=root:root /mnt/$vm_fqdn/dev
-               mk_dir mod=0770 own=root:root /mnt/$vm_fqdn/home
-               mk_dir mod=0770 own=root:root /mnt/$vm_fqdn/proc
-               mk_dir mod=0770 own=root:root /mnt/$vm_fqdn/sys
-               mk_dir mod=0770 own=root:root /mnt/$vm_fqdn/var
-               mk_dir mod=0770 own=root:root /mnt/$vm_fqdn/root
-               mk_dir mod=0770 own=root:root /mnt/$vm_fqdn/root/tool
-               mk_dir mod=0770 own=root:root /mnt/$vm_fqdn/root/tool/ateliers
+               sudo install -d -m 770 -o root -g root \
+                /mnt/$vm_fqdn/boot \
+                /mnt/$vm_fqdn/dev \
+                /mnt/$vm_fqdn/home \
+                /mnt/$vm_fqdn/proc \
+                /mnt/$vm_fqdn/root \
+                /mnt/$vm_fqdn/root/src \
+                /mnt/$vm_fqdn/root/src/$vm \
+                /mnt/$vm_fqdn/sys \
+                /mnt/$vm_fqdn/var
                sudo umount -v /mnt/$vm_fqdn
                sudo cryptsetup luksClose ${vm_lvm_lv}_root_deciphered
         fi
@@ -273,15 +282,12 @@ rule_part_root_umount () {
        ! test -e     /dev/mapper/${vm_lvm_lv}_root_deciphered ||
        sudo cryptsetup luksClose ${vm_lvm_lv}_root_deciphered
  }
-rule_part_root_backup_luks () {
-       sudo cryptsetup luksHeaderBackup $vm_dev_disk_root --header-backup-file ./root.luks
- }
 rule_part_swap_format () {
-       rule__part_encrypted_format swap
-       rule__part_encrypted_mount  swap
+       rule _part_encrypted_format swap
+       rule _part_encrypted_mount  swap
        sudo mkswap -f -L ${vm_lvm_lv}_swap \
         /dev/mapper/${vm_lvm_lv}_swap_deciphered
-       rule__part_encrypted_umount swap
+       rule _part_encrypted_umount swap
  }
 rule_part_boot_format () {
        mount | grep -q "^$vm_dev_disk_boot " ||
@@ -300,51 +306,51 @@ rule_part_boot_umount () {
        sudo umount -v  /mnt/$vm_fqdn/boot
  }
 rule_part_var_format () {
-       rule__part_encrypted_format var
-       rule__part_encrypted_mount  var
+       rule _part_encrypted_format var
+       rule _part_encrypted_mount  var
        sudo mke2fs -t ext4 -c -c -m 5 -T ext4 -b $vm_e2fs_block_size \
         -E resize=10G${vm_e2fs_extended_options} \
         -L ${vm_lvm_lv}_var \
         /dev/mapper/${vm_lvm_lv}_var_deciphered
-       rule__part_encrypted_umount var
+       rule _part_encrypted_umount var
  }
 rule_part_var_mount () {
-       rule__part_encrypted_mount var
+       rule _part_encrypted_mount var
        mountpoint -q /mnt/$vm_fqdn/var ||
        sudo mount -v -t ext4 /dev/mapper/${vm_lvm_lv}_var_deciphered /mnt/$vm_fqdn/var
  }
 rule_part_var_umount () {
        ! mountpoint -q /mnt/$vm_fqdn/var ||
        sudo umount -v  /mnt/$vm_fqdn/var
-       rule__part_encrypted_umount var
+       rule _part_encrypted_umount var
  }
 rule_part_home_format () {
-       rule__part_encrypted_format home
-       rule__part_encrypted_mount  home
+       rule _part_encrypted_format home
+       rule _part_encrypted_mount  home
        sudo mke2fs -t ext4 -c -c -m 0 -T ext4 -b $vm_e2fs_block_size \
         -E resize=400G${vm_e2fs_extended_options} \
         -L ${vm_lvm_lv}_home \
         /dev/mapper/${vm_lvm_lv}_home_deciphered
         # NOTE: -O quota pas supporté par e2fsprogs/squeeze
-       rule__part_encrypted_umount home
+       rule _part_encrypted_umount home
  }
 rule_part_home_mount () {
-       rule__part_encrypted_mount home
+       rule _part_encrypted_mount home
        mountpoint -q /mnt/$vm_fqdn/home ||
        sudo mount -v -t ext4 /dev/mapper/${vm_lvm_lv}_home_deciphered /mnt/$vm_fqdn/home
  }
 rule_part_home_umount () {
        ! mountpoint -q /mnt/$vm_fqdn/home ||
        sudo umount -v  /mnt/$vm_fqdn/home
-       rule__part_encrypted_umount home
+       rule _part_encrypted_umount home
  }
 
 rule_debian_install () {
-       rule_disk_mount
-       rule_part_lvm_mount
-       rule_part_root_mount
-       rule_part_boot_mount
-       rule_part_var_mount
+       rule disk_mount
+       rule part_lvm_mount
+       rule part_root_mount
+       rule part_boot_mount
+       rule part_var_mount
        sudo DEBOOTSTRAP_DIR=/usr/share/debootstrap/ LANG=C LC_CTYPE=C debootstrap \
         --arch=$vm_arch --verbose --keyring=/usr/share/keyrings/debian-archive-keyring.gpg \
         --exclude=vim-tiny \
@@ -359,6 +365,7 @@ rule_debian_install () {
                 dnsutils \
                 dropbear \
                 etckeeper \
+                git-core \
                 gnupg \
                 hashalot \
                 htop \
@@ -388,17 +395,17 @@ rule_debian_install () {
         ) \
         $vm_lsb_name /mnt/$vm_fqdn/ \
         http://ftp.fr.debian.org/debian/
-       rule_part_var_umount
-       rule_part_boot_umount
-       rule_part_root_umount
+       rule part_var_umount
+       rule part_boot_umount
+       rule part_root_umount
  }
 
 rule_chroot () {
-       rule_disk_mount
-       rule_part_lvm_mount
-       rule_part_root_mount
-       rule_part_boot_mount
-       rule_part_var_mount
+       rule disk_mount
+       rule part_lvm_mount
+       rule part_root_mount
+       rule part_boot_mount
+       rule part_var_mount
        #rule_part_home_mount
        mountpoint -q /mnt/$vm_fqdn/proc ||
        sudo mount -t proc proc /mnt/$vm_fqdn/proc
@@ -406,33 +413,38 @@ rule_chroot () {
        sudo mount -t sysfs sys /mnt/$vm_fqdn/sys
        mountpoint -q /mnt/$vm_fqdn/dev ||
        sudo mount --bind /dev /mnt/$vm_fqdn/dev
-       if test -d /mnt/$vm_fqdn/root/tool/vm/.git
+       if test -d /mnt/$vm_fqdn/root/src/vm/.git
         then
-               mountpoint -q /mnt/$vm_fqdn/root/tool/vm ||
-               sudo mount --bind "$tool" /mnt/$vm_fqdn/root/tool/vm
+               mountpoint -q /mnt/$vm_fqdn/root/src/vm ||
+               sudo mount --bind "$tool" /mnt/$vm_fqdn/root/src/vm
         else
-               rsync -a "$tool"/ /mnt/$vm_fqdn/root/tool/vm
+               rsync -a "$tool"/ /mnt/$vm_fqdn/root/src/vm
         fi
        sudo chroot /mnt/$vm_fqdn /bin/bash || true
-       rule__chroot_clean
+       rule _chroot_clean
  }
 rule__chroot_clean () {
-       ! sudo mountpoint -q /mnt/$vm_fqdn/root/tool/vm ||
-       sudo umount -v /mnt/$vm_fqdn/root/tool/$vm
+       ! sudo mountpoint -q /mnt/$vm_fqdn/root/src/vm ||
+       sudo umount -v /mnt/$vm_fqdn/root/src/vm
        ! mountpoint -q /mnt/$vm_fqdn/dev ||
        sudo umount -v /mnt/$vm_fqdn/dev
        ! mountpoint -q /mnt/$vm_fqdn/sys ||
        sudo umount -v /mnt/$vm_fqdn/sys
        ! mountpoint -q /mnt/$vm_fqdn/proc ||
        sudo umount -v /mnt/$vm_fqdn/proc
-       rule_part_home_umount
-       rule_part_var_umount
-       rule_part_boot_umount
-       rule_part_root_umount
-       rule_disk_umount
+       rule part_home_umount
+       rule part_var_umount
+       rule part_boot_umount
+       rule part_root_umount
+       rule disk_umount
  }
 
 rule=${1:-help}
 ${1+shift}
-set "${TRACE:+-x}"
-rule_$rule "$@"
+case $rule in
+ (help);;
+ (*)
+       assert 'test "$(hostname --fqdn)" = "$vm_host"' vm_host
+       ;;
+ esac
+rule $rule "$@"