[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