diff options
| -rwxr-xr-x | functions/exit.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/functions/exit.sh b/functions/exit.sh index 2d23ff7..1c24462 100755 --- a/functions/exit.sh +++ b/functions/exit.sh @@ -17,5 +17,10 @@ Exit () set | grep -e ^LH fi - # FIXME: Add /proc et al cleanup on failure + # Always exit true in case we are not able to unmount + # (e.g. due to running processes in chroot from user customizations) + umount chroot/dev/pts > /dev/null 2>&1 || true + umount chroot/proc > /dev/null 2>&1 || true + umount chroot/selinux > /dev/null 2>&1 || true + umount chroot/sys > /dev/null 2>&1 || true } |