On Thu, Sep 17, 2020 at 9:19 AM Chris Murphy <lists@xxxxxxxxxxxxxxxxx> wrote: > > On Thu, Sep 17, 2020 at 9:05 AM <alciregi@xxxxxxxxxx> 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 -- test@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to test-leave@xxxxxxxxxxxxxxxxxxxxxxx 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/test@xxxxxxxxxxxxxxxxxxxxxxx
