On Mon, Jul 25, 2016 at 12:01 PM, Simon Hobson <[email protected]> wrote:
> Slightly modify the files in (rom memory) /etc/grub that build grub.cfg.
> Arrange for your primary "safe" OS to have a distinct label, then set that
> label as the default OS.
If we are speaking about grub2, you should use menu entry ID, not
titles, and make sure to generate unique ID using e.g. uuidgen. Like
srv:~ # uuidgen
6927bd1a-8755-4cc4-8335-78f68075fcd4
and in grub.cfg
set default=6927bd1a-8755-4cc4-8335-78f68075fcd4
...
menuentry "My default entry" --id 6927bd1a-8755-4cc4-8335-78f68075fcd4 {
...
}
_______________________________________________
Help-grub mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/help-grub
