[Bug 543834] Re: grub-set-default should give a warning when GRUB_DEFAULT != saved
Daniel Richard G.
skunk at iskunk.org
Tue Apr 14 08:13:15 UTC 2020
To elaborate on the situation in Ubuntu focal, as there have been some
improvements:
* grub-reboot(8) now works even when GRUB_DEFAULT != "saved", so that is
out of the picture. I've edited the title of this bug accordingly.
* Both the man page and --help text for grub-set-default(8) indicate
that GRUB_DEFAULT="saved" is required for the command to have the
desired effect.
* grub-set-default(8) still gives no warning/error when GRUB_DEFAULT !=
"saved", however, leaving open the possibility of breaking scripts or
other scenarios where it is assumed to work.
** Summary changed:
- grub-set-default and grub-reboot should give a warning when GRUB_DEFAULT != saved
+ grub-set-default should give a warning when GRUB_DEFAULT != saved
--
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to grub2 in Ubuntu.
https://bugs.launchpad.net/bugs/543834
Title:
grub-set-default should give a warning when GRUB_DEFAULT != saved
Status in grub2 package in Ubuntu:
New
Bug description:
Binary package hint: grub2
Without GRUB_DEFAULT=saved in /etc/default/grub grub-set-default and
grub-reboot will silently fail and users are likely to see this as a
bug rather than a misconfiguration.
In the simplest case these utilities should should check
/etc/default/grub and print a warning that the changes being made will
have no effect without GRUB_DEFAULT=saved ( but still make the changes
).
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/543834/+subscriptions
More information about the foundations-bugs
mailing list