Re: gdm3 issue

[Ralf Mardorf <ralf.mardorf@alice-dsl.net>]

menuentry 'Debian GNU/Linux, with Linux 3.2.0-4-686-pae' --class debian --class gnu-linux --class gnu --class os {
        load_video
        insmod gzio
        insmod part_msdos
        insmod ext2
        set root='(hd1,msdos3)'
        search --no-floppy --fs-uuid --set=root ddea8c2f-f4b3-4c3f-8809-a3c6c1309776
        echo    'Loading Linux 3.2.0-4-686-pae ...'
        linux   /boot/vmlinuz-3.2.0-4-686-pae root=UUID=ddea8c2f-f4b3-4c3f-8809-a3c6c1309776 ro  quiet
        echo    'Loading initial ramdisk ...'
        initrd  /boot/initrd.img-3.2.0-4-686-pae
}

I can't speak for such default crap as load_video, but at least the
options ro and quiet shouldn't cause an issue.

My grub.cfg does start with

$ cat /mnt/saucy/boot/grub/grub.cfg
set timeout=8
set default='0'; if [ x"$default" = xsaved ]; then load_env; set default="$saved_entry"; fi
set color_normal='light-blue/black'; set color_highlight='light-cyan/blue'

# 2013-Dec-05

	menuentry

and then there are only menu entries, nothing more. I also don't add the
quiet option and should delete the set default line.