Comment 1 for bug 543834

Revision history for this message
Daniel Richard G. (skunk) wrote : Re: grub-set-default and grub-reboot should give a warning when GRUB_DEFAULT != saved

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.