I finally found it... use the --id "name" on the menuentry and change /etc/default/grub GRUB_DEFAULT=name Sorry for the noise. Jerry
Mon Nov 18 14:51:26 UTC 2019
Jerry Geis <jerry.geis at gmail.com>
I finally found it... use the --id "name" on the menuentry and change /etc/default/grub GRUB_DEFAULT=name Sorry for the noise. Jerry