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- -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
