}
# }}}
+# remove now useless apt cache {{{
+remove_apt_cache() {
+ if [ "$RM_APTCACHE" = 'yes' ] ; then
+ echo "Cleaning apt cache."
+ apt-get clean
+ else
+ echo "Not cleaning apt cache as \$RM_APTCACHE is unset."
+ fi
+}
+# }}}
+
# install additional packages {{{
packages() {
# Pre-seed the debconf database with answers. Each question will be marked
# 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:
install_policy_rcd
for i in chrootmirror grmlrepos kernelimg_conf \
- 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