On Mon, Jul 25, 2016 at 1:01 PM, Simon Hobson <[email protected]> wrote: > Ah, another feature I'd never heard of. I do recall in the past the advice > handed out here (as an alternative to renaming the files in /etc/grub to get > Xen to boot by default for example) was to specify the default option to be > selected in /etc/default/grub (Debian system).
As you mentioned, this ends up doing "set default=..." so of course it accepts everything grub accepts including menu entry ID. > If you are now saying there's another alternative, that's of interest. Titles are just not unique enough, and grub-mkconfig generates IDs for quite some time (and in principle it generates them predictably, based on filesystem UUID). _______________________________________________ Help-grub mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-grub
