Re: Grub set default= ?

2023-05-02 Per discussione Marco Ciampa
On Tue, May 02, 2023 at 02:52:20PM +0200, Filippo Dal Bosco - wrote: > Il giorno Tue, 2 May 2023 12:35:06 +0200 > Piviul ha scritto: > > > > > > > non so se si possa usare ancora l'indice... hai provato ad usare gli > > id[¹]? > > prima che mi lanci in esperimenti: se sbaglio il default cosa

Re: Grub set default= ?

2023-05-02 Per discussione Filippo Dal Bosco -
Il giorno Tue, 2 May 2023 12:35:06 +0200 Piviul ha scritto: > > > non so se si possa usare ancora l'indice... hai provato ad usare gli > id[¹]? prima che mi lanci in esperimenti: se sbaglio il default cosa succede ? Parte comunque come default =0 oppure si blocca e mi tocca fare un boot con

Re: Grub set default= ?

2023-05-02 Per discussione Piviul
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

Grub set default= ?

2023-05-01 Per discussione Filippo Dal Bosco -
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 ? -- Filippo