diff options
Diffstat (limited to 'functions.sh')
| -rw-r--r-- | functions.sh | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/functions.sh b/functions.sh index 36f6bc3..cbd5bad 100644 --- a/functions.sh +++ b/functions.sh @@ -6,17 +6,18 @@ cleanup (){ # Identify and kill all processes still using files echo "killing processes using mount point ..." - fuser -k $R + fuser -k "$R" sleep 3 - fuser -9 -k -v $R + fuser -9 -k -v "$R" # Clean up all temporary mount points echo "removing temporary mount points ..." - umount -l $R/proc 2> /dev/null - umount -l $R/sys 2> /dev/null - umount -l $R/dev/pts 2> /dev/null + umount -l "$R/proc" 2> /dev/null + umount -l "$R/sys" 2> /dev/null + umount -l "$R/dev/pts" 2> /dev/null umount "$BUILDDIR/mount/boot/firmware" 2> /dev/null umount "$BUILDDIR/mount" 2> /dev/null + cryptsetup close "${CRYPTFS_MAPPING}" 2> /dev/null losetup -d "$ROOT_LOOP" 2> /dev/null losetup -d "$FRMW_LOOP" 2> /dev/null trap - 0 1 2 3 6 |