help-grub
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GRUB_DEFAULT=saved with GRUB_SAVEDEFAULT=true doesn't work here


From: Andrei Borzenkov
Subject: Re: GRUB_DEFAULT=saved with GRUB_SAVEDEFAULT=true doesn't work here
Date: Thu, 21 Oct 2021 22:25:54 +0300
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.13.0

On 21.10.2021 21:32, Ulf Zibis wrote:
> 
> So it seems, that I still should use "menuentry" in the primary grub.cfg
> and should unset $chosen (or better clear with "$chosen=" ?) inside the
> "menuentry" before I execute "configfile", as a workaround.
> 


Yes, that should work too and is better.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]