# remove now useless apt cache {{{
remove_apt_cache() {
- apt-get clean
+ if [ "$RM_APTCACHE" = 'yes' ] ; then
+ echo "Cleaning apt cache."
+ apt-get clean
+ else
+ echo "Not cleaning apt cache as \$RM_APTCACHE is unset."
+ fi
}
# }}}
}
# }}}
-# unmount all filesystems in chroot, make sure nothing is left {{{
+# unmount /proc and make sure nothing is left {{{
finalize() {
# make sure we don't leave any sensible data
rm -f /etc/debootstrap/variables
+
[ -n "$POLICYRCD" ] && rm -f /usr/sbin/policy-rc.d
- umount -a 1>/dev/null 2>/dev/null || true
- umount /proc 1>/dev/null 2>/dev/null || true
- umount /proc 1>/dev/null 2>/dev/null || true
- umount -a 1>/dev/null 2>/dev/null || true
+
+ umount /proc >/dev/null 2>/dev/null || true
}
# }}}