# remove now useless apt cache {{{
remove_apt_cache() {
- find /var/cache/apt/archives -name '*.deb' -exec rm -f '{}' \;
+ if [ "$RM_APTCACHE" = 'yes' ] ; then
+ echo "Cleaning apt cache."
+ apt-get clean
+ else
+ echo "Not cleaning apt cache as \$RM_APTCACHE is unset."
+ fi
}
# }}}
# finally install grub
if [ -x /usr/sbin/update-grub ] ; then
UPDATEGRUB='/usr/sbin/update-grub'
- else
+ elif [ -x /sbin/update-grub ] ; then
UPDATEGRUB='/sbin/update-grub'
+ else
+ echo "Error: update-grub not available, can not execute it."
+ return 1
fi
# grub2:
}
# }}}
-# 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
}
# }}}
install_policy_rcd
for i in chrootmirror grmlrepos kernelimg_conf \
- remove_apt_cache kernel packages extrapackages reconfigure hosts interfaces \
- timezone fstab hostname initrd grub_config passwords custom_scripts \
- services ; do
+ kernel packages extrapackages reconfigure hosts interfaces \
+ timezone fstab hostname initrd grub_config passwords \
+ custom_scripts remove_apt_cache services ; do
if stage $i ; then
$i && stage $i done || exit 1
fi