*** This bug is a duplicate of bug 193439 ***
https://bugs.launchpad.net/bugs/193439
There is information here which is not present in #19439:
- #19439 is about setting 'default' in /boot/grub/default; in
my case the value is configured in /boot/grub/menu.1st (the
"normal" way to configure grub), and it is set to 'saved' (a
value which actually means something).
Also, #19439 is newer than this bug by three months.
OTOH, the underlying cause is indeed the same: 'update-grub' is
wrongly assuming that the default must be numeric).
--
update-grub failes when "default" is set to "saved" instead of numeric value
https://bugs.launchpad.net/bugs/164513
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
