grub: savedefault and boot once for F12

[Tom Horsley]

On Sat, 08 May 2010 10:11:41 -0400
sean darcy wrote:

> And it keeps booting F9. Any suggestions appreciated.

You are making the mistake of believing the stuff written
in the grub info file :-).

The actual grub shipped with fedora has a savedefault
that works completely differently.

Try running grub and doing a "help savedefault" to get
the real info.

https://bugzilla.redhat.com/show_bug.cgi?id=212649