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.
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.