Comment 19 for bug 1273764

Revision history for this message
Phillip Susi (psusi) wrote : Re: Grub ignores options on /etc/default/grub

That is very odd.. this "timeout" variable appears to be local to that script and not used for anything. 00_header uses GRUB_TIMEOUT.