Re: Grub set default= ?
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 succede ? > > Parte comunque come default =0 oppure si blocca e mi tocca fare un boot > con supergrub da USB ? > Niente non succede. All'avvio premi 'e', modifichi al volo e parti con F10 -- Amike, Marco Ciampa
Re: Grub set default= ?
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 supergrub da USB ? -- Filippo
Re: Grub set default= ?
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
Grub set default= ?
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