I also seems to be affected by this. I don't know though if adding
GRUB_RECORDFAIL_TIMEOUT=1 or 0 to /etc/default/grub will fix it. Every
now and then (not always) grub menu shows up when booting. Which it
shouldn't do, I haven't any other os installed on the computer. No boot
failure has happened neither so I couldn't think of grub menu appearing
because of that. I'm using Ubuntu stock 20.04. Is there some problem
with grub which could lead to this behavior? And what is the best way to
fix grub menu randomly appearing at boot up?

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1273764

Title:
  Grub ignores TIMEOUT options on /etc/default/grub

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1273764/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to