Modification : vm_{host,hosted,remote} -> {host,local,remote}/ .

[lhc/ateliers.git] / host / chroot-clean

diff --git a/host/chroot-clean b/host/chroot-clean
new file mode 100755 (executable)
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