Thanks for your report. I've committed a change upstream for 2.01 to document this:
2013-01-22 Colin Watson <email address hidden>
* util/grub-reboot.in (usage): Document the need for GRUB_DEFAULT=saved.
* util/grub-set-default.in (usage): Likewise.
Reported by: Brian Candler. Fixes Ubuntu bug #1102925.
Thanks for your report. I've committed a change upstream for 2.01 to document this:
2013-01-22 Colin Watson <email address hidden>
* util/grub-reboot.in (usage): Document the need for
GRUB_DEFAULT= saved. set-default. in (usage): Likewise.
* util/grub-
Reported by: Brian Candler. Fixes Ubuntu bug #1102925.