Comment 19 for bug 1258597

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

On Mon, Apr 28, 2014 at 19:11:59 -0000, Phill Whiteside wrote:
> hmm...
>
> root@build:/boot/grub# grep -r GRUB_HIDDEN *
> root@build:/boot/grub#
>
> No sign of GRUB_HIDDEN ?

The GRUB_HIDDEN... variables are found in /etc/default/grub .

       Nathan