2007-09-23 08:04:50 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
# exit.sh - cleanup
|
2009-01-26 15:39:27 -01:00
|
|
|
# Copyright (C) 2006-2009 Daniel Baumann <daniel@debian.org>
|
2007-09-23 08:04:50 +00:00
|
|
|
#
|
|
|
|
# live-helper comes with ABSOLUTELY NO WARRANTY; for details see COPYING.
|
|
|
|
# This is free software, and you are welcome to redistribute it
|
|
|
|
# under certain conditions; see COPYING for details.
|
|
|
|
|
|
|
|
Exit ()
|
|
|
|
{
|
2009-10-19 11:52:54 +00:00
|
|
|
VALUE="${?}"
|
|
|
|
|
2009-12-13 19:17:45 -01:00
|
|
|
if [ "${_DEBUG}" = "true" ]
|
2007-09-23 08:04:50 +00:00
|
|
|
then
|
2007-09-23 08:04:51 +00:00
|
|
|
# Dump variables
|
2008-10-14 19:42:08 +00:00
|
|
|
set | grep -e ^LH
|
2007-09-23 08:04:50 +00:00
|
|
|
fi
|
|
|
|
|
2008-10-14 19:44:48 +00:00
|
|
|
# Always exit true in case we are not able to unmount
|
|
|
|
# (e.g. due to running processes in chroot from user customizations)
|
2008-10-19 15:02:28 +00:00
|
|
|
Echo_message "Begin unmounting filesystems..."
|
2009-06-02 20:19:20 +00:00
|
|
|
for DIRECTORY in $(awk -v dir="${PWD}/chroot/" '$2 ~ dir { print $2 }' /proc/mounts | sort -r)
|
|
|
|
do
|
|
|
|
umount ${DIRECTORY} > /dev/null 2>&1 || true
|
|
|
|
done
|
2009-10-19 11:52:54 +00:00
|
|
|
|
|
|
|
return ${VALUE}
|
2007-09-23 08:04:50 +00:00
|
|
|
}
|
2008-10-19 14:58:29 +00:00
|
|
|
|
|
|
|
Setup_cleanup ()
|
|
|
|
{
|
|
|
|
Echo_message "Setting up cleanup function"
|
2008-10-31 04:45:05 -01:00
|
|
|
trap 'Exit' EXIT HUP INT QUIT TERM
|
2008-10-19 14:58:29 +00:00
|
|
|
}
|