On Thu, 2020-09-17 at 13:13 +0200, Kamil Paral wrote: > On Thu, Sep 17, 2020 at 10:58 AM <[email protected]> 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? Ciao, A. _______________________________________________ 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]
