On Thu, Sep 17, 2020 at 5:19 AM <alciregi@xxxxxxxxxx> wrote: > > On Thu, 2020-09-17 at 13:13 +0200, Kamil Paral wrote: > > On Thu, Sep 17, 2020 at 10:58 AM <alciregi@xxxxxxxxxx> wrote: > > > Fedora 33, GNOME > > > > > > Power Off/Log Out -> Restart > > > Press Alt, the "Restart" button become "Boot Options" > > > Click > > > > > > At this point, shouldn't GRUB menu appear? > > > > > > > Yes. > > > Well, it doesn't appear :-) > Can you confirm that? 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 grub2 bug. If it does work, then maybe it's a gnome-shell bug, but again I'm not sure how shell sets a one time reveal of the boot menu. -- 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
