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
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
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
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
4 matches
Mail list logo