On Thu, Sep 17, 2020 at 9:19 AM Chris Murphy <[email protected]> wrote: > > On Thu, Sep 17, 2020 at 9:05 AM <[email protected]> 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 _______________________________________________ test mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected]
