/usr/share/live/build/functions/exit.sh is in live-build 3.0~a24-1ubuntu32.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 | #!/bin/sh
## live-build(7) - System Build Scripts
## Copyright (C) 2006-2011 Daniel Baumann <daniel@debian.org>
##
## live-build 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 ()
{
VALUE="${?}"
if [ "${_DEBUG}" = "true" ]
then
# Dump variables
set | grep -e ^LB
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..."
if [ -e /proc/mounts ]
then
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
else
for DIRECTORY in /dev/shm /dev/pts /dev /proc /selinux /sys
do
umount -f chroot/${DIRECTORY} > /dev/null 2>&1 || true
done
fi
return ${VALUE}
}
Setup_cleanup ()
{
Echo_message "Setting up cleanup function"
trap 'Exit' EXIT HUP INT QUIT TERM
}
|