18 Nov
2019
18 Nov
'19
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