[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.
- GRUB_DEFAULT=saved with GRUB_SAVEDEFAULT=true doesn't work here, Ulf Zibis, 2021/10/16
- Re: GRUB_DEFAULT=saved with GRUB_SAVEDEFAULT=true doesn't work here, Andrei Borzenkov, 2021/10/16
- Re: GRUB_DEFAULT=saved with GRUB_SAVEDEFAULT=true doesn't work here, Ulf Zibis, 2021/10/16
- Re: GRUB_DEFAULT=saved with GRUB_SAVEDEFAULT=true doesn't work here, Andrei Borzenkov, 2021/10/17
- Re: GRUB_DEFAULT=saved with GRUB_SAVEDEFAULT=true doesn't work here, Ulf Zibis, 2021/10/21
- Re: GRUB_DEFAULT=saved with GRUB_SAVEDEFAULT=true doesn't work here, Ulf Zibis, 2021/10/21
- Re: GRUB_DEFAULT=saved with GRUB_SAVEDEFAULT=true doesn't work here, Andrei Borzenkov, 2021/10/21
- Re: GRUB_DEFAULT=saved with GRUB_SAVEDEFAULT=true doesn't work here, Ulf Zibis, 2021/10/21
- Re: GRUB_DEFAULT=saved with GRUB_SAVEDEFAULT=true doesn't work here,
Andrei Borzenkov <=
- Re: GRUB_DEFAULT=saved with GRUB_SAVEDEFAULT=true doesn't work here, Ulf Zibis, 2021/10/21
- Re: GRUB_DEFAULT=saved with GRUB_SAVEDEFAULT=true doesn't work here, Ulf Zibis, 2021/10/22
- Re: GRUB_DEFAULT=saved with GRUB_SAVEDEFAULT=true doesn't work here, Andrei Borzenkov, 2021/10/23