Bug#360041: savedefault makes grub segfault when /boot is in a separate partition

[Kiko Piris]

On 30/03/2006 at 13:23 -0400, Leandro Dorileo wrote:

> In fact, changing default to saved and putting savedefault in the
> fifth entry should work. You don't need savedefault 0.

According to the manual:

http://www.gnu.org/software/grub/manual/grub.html#savedefault

If I leave `safedefault' on windows entry, it will keep booting windows
forever until I manually choose another entry marked as `savedefault'.

Or I understood it wrong :)

-- 
Kiko