On Fri, Apr 30, 2010 at 5:22 PM, Mario Andes <multilingus at gmx.de> wrote: > grub.cfg is produced by update-grub. > /etc/default/grub is editable and GRUB_DEFAULT is set by default to the > value 'saved'. > It's the system I used before with a perfectly working grub. Thanks, I know... I just want to see whether the correct value is being set in grub.cfg.