Comment 36 for bug 1258597

Revision history for this message
Mikko Rantalainen (mira) wrote : Re: Warning: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set is no longer supported.

Sapa Holliday: you need to edit file called /etc/default/grub, not /boot/grub/grub.cfg. The latter is *automatically* generated from the former when you run update-grub. Any changes you make to grub.cfg will be silently overridden any time update-grub is executed (by you or by dpkg).