Comment 11 for bug 1258597

Revision history for this message
Nathan Stratton Treadway (nathanst) wrote : Re: Warning: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set is no longer supported.

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.)