18 Nov
2019
18 Nov
'19
3:32 p.m.
Hi All - I have my 40_custom file setup. What is a good way to make that the default boot option ? I'd rather not count menu option lines and change GRUB_DEFAULT to that - as I am doing this remote.
Thanks
Jerry
18 Nov
18 Nov
3:51 p.m.
I finally found it... use the --id "name" on the menuentry and change /etc/default/grub GRUB_DEFAULT=name Sorry for the noise.
Jerry
1852
Age (days ago)
1852
Last active (days ago)
1 comments
1 participants
participants (1)
-
Jerry Geis