I don't think this is a duplicate of #1814403
And I agree with the OP that the menu timeout in EFI platforms should be 
controlled by GRUB_TIMEOUT and not by GRUB_RECORDFAIL_TIMEOUT. It doesn't make 
sense to me that it's GRUB_RECORDFAIL_TIMEOUT.
However, I'd be happy to be schooled here to understand why it needs to be this 
way.
Cheers.

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

Title:
  update-grub uses the wrong timout for efi system

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


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

Reply via email to