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 Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/543834 Title: grub-set-default should give a warning when GRUB_DEFAULT != saved To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/543834/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs