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 <piviul@riminilug.it> 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
Reply to: