Increase grub timeout

[Ben Boeckel]

In article <AANLkTilubs_7uT0zBk_7RHcEOhLU9bX82Ni-B4189Vwy at mail.gmail.com> you wrote:
> Wait a sec, when the timeout is zero, don't you get access to the grub
> menu if you hold down the shift key?
> 
> I always thought that was grub's behaviour, not my PC's behaviour...

With an old Compaq machine, the BIOS errors with a 'Stuck key' message
if I mash any of the modifiers. This stops the boot before GRUB. Granted
it's running F11, but some BIOS's don't like keys being mashed at boot.

--Ben