I don't have a build environment were I can actually test it, but here's
an attempt to update the debian/rules file so that (under Ubuntu) it
generates a /usr/share/grub/default/grub  file that uses
"GRUB_TIMEOUT_STYLE=hidden" instead of a GRUB_HIDDEN_TIMEOUT= line.

(Note that grub-pc.config and grub-pc.postinst would also need to be
updated to reflect this change.)

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

Title:
  Warning: Setting GRUB_TIMEOUT to a non-zero value when
  GRUB_HIDDEN_TIMEOUT is set is no longer supported.

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

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to