Ubuntu
grub2 package

  1. Bug #1240366
  2. Comment #7

Comment 7 for bug 1240366

Revision history for this message
Colin Watson (cjwatson) wrote :

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.