32 lines
840 B
Bash
Executable File
32 lines
840 B
Bash
Executable File
#!/bin/sh
|
|
|
|
# exit.sh - cleanup
|
|
# Copyright (C) 2006-2009 Daniel Baumann <daniel@debian.org>
|
|
#
|
|
# 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 ()
|
|
{
|
|
if [ "${_DEBUG}" = "enabled" ]
|
|
then
|
|
# Dump variables
|
|
set | grep -e ^LH
|
|
fi
|
|
|
|
# Always exit true in case we are not able to unmount
|
|
# (e.g. due to running processes in chroot from user customizations)
|
|
Echo_message "Begin unmounting filesystems..."
|
|
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
|
|
}
|
|
|
|
Setup_cleanup ()
|
|
{
|
|
Echo_message "Setting up cleanup function"
|
|
trap 'Exit' EXIT HUP INT QUIT TERM
|
|
}
|