On Thu, Sep 17, 2020 at 9:19 AM Chris Murphy <lists(a)colorremedies.com> wrote:
On Thu, Sep 17, 2020 at 9:05 AM <alciregi(a)posteo.net> wrote:
>
> On Thu, 2020-09-17 at 08:49 -0600, Chris Murphy wrote:
> > I'm not sure how Boot Options works, i.e. what exactly is it
> > modifying?
> >
> > Can you try
> > sudo grub2-editenv - set menu_show_once=1
> >
> > And reboot. Does the GRUB menu appear? If not, then this is likely a
>
> Yes, in this case the GRUB menu appears.
I suggest filing a bug against gnome-shell and report all of this info.
Also, when I reboot with "Boot Options" button in Shell, upon reboot
and manually getting into the GRUB menu, and then 'c' to get to a
prompt, and then 'set' to see environment variables - menu_show_once=1
is not set.
So yeah, how is "Boot Options" supposed to work?
--
Chris Murphy