esac
cat > /etc/default/grub << EOF
- # Note: this file has been generated by chroot-script of grml-debootstrap.
- # This configuration file is a workaround being necessary as the device.map
- # generated by the live system might not correspond with your harddisk
- # installation.
- #
- # Please restore the original Debian configuration executing the following
- # commands when running your harddisk installation:
- #
- # grub-mkdevicemap
- # mv /etc/default/grub.orig /etc/default/grub
- # update-grub
- #
+# Note: this file has been generated by chroot-script of grml-debootstrap.
+# This configuration file is a workaround being necessary as the device.map
+# generated by the live system might not correspond with your harddisk
+# installation.
+#
+# Please restore the original Debian configuration executing the following
+# commands when running your harddisk installation:
+#
+# grub-mkdevicemap
+# mv /etc/default/grub.orig /etc/default/grub
+# update-grub
+#
GRUB_DEFAULT=0
GRUB_TIMEOUT=5
GRUB_DISTRIBUTOR=Debian
-GRUB_DISABLE_LINUX_UUID=true
-GRUB_CMDLLINE_LINUX="$GRUB_CMDLINE"
+# GRUB_DISABLE_LINUX_UUID=true
+GRUB_CMDLINE_LINUX="$GRUB_CMDLINE"
EOF
[ -n "$INSTALL_NOTES" ] && echo "