- 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_CMDLINE_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