IMHO, upgrading the system shouldn't modified the default OS to be
booted, solving this bug is quite trivial, the default OS shouldn't
point to a number but to to a name, so that when a entry is added in the
list, the default is not changed, actually, the most annoying part for
the grub developer is to check for backward compatibility with GUI which
writes grud.lst

-- 
Default OS (grub) changed by addition of backup entries
https://bugs.launchpad.net/bugs/55400
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to