X-Git-Url: https://git.cyclocoop.org/?p=lhc%2Fateliers.git;a=blobdiff_plain;f=host%2Fchroot-clean;fp=host%2Fchroot-clean;h=ecf844928689fe1a7fd8db7d1fed69d7186a92f3;hp=0000000000000000000000000000000000000000;hb=3ad6118386977e346d81042e924e5db9c5f15b7d;hpb=22f04b9fac14adc3d3fc98273ba126c3a51792c3

diff --git a/host/chroot-clean b/host/chroot-clean
new file mode 100755
index 0000000..ecf8449
--- /dev/null
+++ b/host/chroot-clean
@@ -0,0 +1,17 @@
+#!/bin/sh -eu
+tool=$(readlink -e "${0%/*}/..")
+. "$tool"/host/lib.sh
+
+! 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
+"$tool"/host/part-home-umount
+"$tool"/host/part-var-umount
+"$tool"/host/part-boot-umount
+"$tool"/host/part-root-umount
+"$tool"/host/disk-umount