From c0f75a6247dc6741d033133a203898e6706a60c4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Philip=20M=C3=BCller?= Date: Mon, 19 Jul 2021 13:59:47 +0000 Subject: [PATCH] [util-mount] use lazy umount for now --- lib/util-mount.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/util-mount.sh b/lib/util-mount.sh index a707cb7..4ac848b 100644 --- a/lib/util-mount.sh +++ b/lib/util-mount.sh @@ -162,19 +162,19 @@ chroot_api_mount() { chroot_part_umount() { info "umount: [%s]" "${CHROOT_ACTIVE_PART_MOUNTS[@]}" - umount "${CHROOT_ACTIVE_PART_MOUNTS[@]}" + umount -l "${CHROOT_ACTIVE_PART_MOUNTS[@]}" unset CHROOT_ACTIVE_PART_MOUNTS } chroot_api_umount() { #info "umount: [%s]" "${CHROOT_ACTIVE_MOUNTS[@]}" - umount "${CHROOT_ACTIVE_MOUNTS[@]}" + umount -l "${CHROOT_ACTIVE_MOUNTS[@]}" unset CHROOT_ACTIVE_MOUNTS } chroot_api_efi_umount() { #info "umount: [%s]" "${CHROOT_ACTIVE_MOUNTS[@]}" - umount "${CHROOT_ACTIVE_MOUNTS[@]}" + umount -l "${CHROOT_ACTIVE_MOUNTS[@]}" unset CHROOT_ACTIVE_MOUNTS }