On 5/1/23 14:51, Filippo Dal Bosco - wrote:
La lista dei possibili OS da lanciare con GRUB parte da 0 la prima menuentry ( set default =0) e poi si conteggiano solo le menuentry principali o anche le menuentry dei submenu ?
non so se si possa usare ancora l'indice... hai provato ad usare gli id[¹]? Piviul [¹] https://www.gnu.org/software/grub/manual/grub/grub.html#default
