- if [ -f /etc/default/grub ] ; then
- # create a copy of the original:
- cp /etc/default/grub /etc/default/grub.orig
-
- case "$TARGET" in
- # do NOT use uuid with SW-RAID
- /dev/md*)
- GRUB_CMDLINE="root=${TARGET} ro ${BOOT_APPEND}"
- ;;
- *)
- if [ -n "$TARGET_UUID" ] ; then
- GRUB_CMDLINE="root=UUID=${TARGET_UUID} ro ${BOOT_APPEND}"
- else
- GRUB_CMDLINE="root=${TARGET} ro ${BOOT_APPEND}"
- fi
- ;;
- 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
- #
-GRUB_DEFAULT=0
-GRUB_TIMEOUT=5
-GRUB_DISTRIBUTOR=Debian
-GRUB_DISABLE_LINUX_UUID=true
-GRUB_CMDLLINE_LINUX="$GRUB_CMDLINE"
-EOF
-
- [ -n "$INSTALL_NOTES" ] && echo "
-
-The grub2 configuration has been adjusted so you should
-be able to boot into your Debian installation now.
-After rebooting into your Debian installation please execute:
-
- grub-mkdevicemap
- mv /etc/default/grub.orig /etc/default/grub
- update-grub
-
-to finalise configuration. This instructions are available
-in the header of /etc/default/grub as well.
-" >> $INSTALL_NOTES
-
- $UPDATEGRUB
- fi