+ echo "Notice: \$GRUB not defined, will not install grub inside chroot at this stage."
+ 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