return 0
fi
+ if ! dpkg --list grub-pc 2>/dev/null | grep -q '^ii' ; then
+ echo "Notice: grub option set but no grub-pc package, installing it therefore."
+ DEBIAN_FRONTEND=$DEBIAN_FRONTEND $APTINSTALL grub-pc
+ fi
+
if ! [ -x "$(which grub-install)" ] ; then
echo "Error: grub-install not available. (Error while installing grub package?)" >&2
return 1