I've had a look at startupmanager, and don't see anything in there that
would have created a /boot/grub/default of this sort. If you also
didn't create it by hand, I don't know how this file came to be. I
would suggest resetting it with 'grub-set-default 0' to work around the
problem you're having.
Still, 'grub-set-default default' is part of the documented interface
for this command, so update-grub should be able to handle this case.
Confirming this bug.
** Changed in: grub (Ubuntu)
Importance: Undecided => Low
Status: New => Confirmed
--
update-grub fails when default is "saved"
https://bugs.launchpad.net/bugs/193439
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
