Boot Options

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?


Ciao,
A.

[Kamil Paral]

On Thu, Sep 17, 2020 at 10:58 AM <alciregi(a)posteo.net&gt; 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.

On Thu, 2020-09-17 at 13:13 +0200, Kamil Paral wrote:
>  On Thu, Sep 17, 2020 at 10:58 AM <alciregi(a)posteo.net&gt; 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.

[Chris Murphy]

On Thu, Sep 17, 2020 at 5:19 AM <alciregi(a)posteo.net&gt; wrote:
>  On Thu, 2020-09-17 at 13:13 +0200, Kamil Paral wrote:
>  > On Thu, Sep 17, 2020 at 10:58 AM <alciregi(a)posteo.net&gt; 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

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.

Thanks,
A.

[Chris Murphy]

On Thu, Sep 17, 2020 at 9:05 AM <alciregi(a)posteo.net&gt; 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.


-- 
Chris Murphy

[Chris Murphy]

On Thu, Sep 17, 2020 at 9:19 AM Chris Murphy <lists(a)colorremedies.com&gt; wrote:
>  On Thu, Sep 17, 2020 at 9:05 AM <alciregi(a)posteo.net&gt; 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

[Chris Murphy]

On Thu, Sep 17, 2020 at 9:26 AM Chris Murphy <lists(a)colorremedies.com&gt; wrote:
>  So yeah, how is "Boot Options" supposed to work? 

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/199



-- 
Chris Murphy

[Geraldo Simião Kutz]

I tried to test this on a VM but it does not worked, so I asked a friend
who have upgraded his F32 workstation to  F33 with dnf, and he reported to
me that it worked fine for him, grub menu appears after this procedure.

Em qui., 17 de set. de 2020 às 15:30, Chris Murphy <lists(a)colorremedies.com&gt;
escreveu:

>  On Thu, Sep 17, 2020 at 9:26 AM Chris Murphy
> <lists(a)colorremedies.com&gt;
>  wrote:
>  >
>  > So yeah, how is "Boot Options" supposed to work?
>
>
>  https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/199
>
>
>
>  --
>  Chris Murphy
>  _______________________________________________
>  test mailing list -- test(a)lists.fedoraproject.org
>  To unsubscribe send an email to test-leave(a)lists.fedoraproject.org
>  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/[e-mail]
>

On Thu, 2020-09-17 at 09:19 -0600, Chris Murphy wrote:
>  I suggest filing a bug against gnome-shell and report all of this
>  info 

https://bugzilla.redhat.com/show_bug.cgi?id=1880159


Ciao,
A.

[Chris Murphy]

I have a possibly related problem, but I haven't had luck narrowing
down where the problem is...

shift key is not reliably bringing up the GRUB menu on a reboot; for
sure it never does with virt-manager VMs. I'm not sure if it's a GRUB
bug or a virt-manager bug or an edk2 bug or what but it's quite
aggravating.


Chris Murphy