# 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
}
# }}}
# 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: