For things like this GRUB_HIDDEN_TIMEOUT customisation, please use files of the form /etc/default/grub.d/<some name>.cfg rather than /etc/grub.d/00_before_header.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1240366 Title: Use the same key to interrupt autoboot under legacy and EFI To manage notifications about this bug go to: https://bugs.launchpad.net/grub/+bug/1240366/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
