Bug#707695: grub2-common: grub-reboot documentation is incomplete

[Michael Prokop]

Package: grub2-common
Version: 1.99-27+deb7u1
Severity: normal


The grub-reboot documentation doesn't say a word about the fact that
"GRUB_DEFAULT=saved" needs to be set in /etc/default/grub  (and
update-grub executed afterwards AFAICT) so grub-reboot actually does
what it is supposed to do.

Is there any specific reason why grub-reboot doesn't modify the
GRUB_DEFAULT setting during its execution?

IMHO it should also be documented that grub-reboot starts counting
at "0", while this might be obvious to many people it's not
necessarily true for anyone using grub-reboot, especially since
there's no real interface to get a list of boot entries (other than
`grep '^menuentry' /boot/grub/grub.cfg` which isn't what I call an
interface) and booting into the wrong entry might by fatal in
certain situations.

regards,
-mika-