grub-set-default should give a warning when GRUB_DEFAULT != saved
Bug #543834 reported by
Jordan
This bug affects 3 people
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
grub2 (Ubuntu) |
New
|
Undecided
|
Unassigned |
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 post a comment you must log in.
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.