[Bug 543834] Re: grub-set-default and grub-reboot should give a warning when GRUB_DEFAULT != saved

[Daniel Richard G.]

Agreed. I was about to file a bug to the effect of "grub-set-default
does not work."

Also, the grub-set-default(8) and grub-reboot(8) man pages clearly need
to mention this caveat.

-- 
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 and grub-reboot 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
  ).