Comment 9 for bug 1273764

Revision history for this message
Edwin Pujols (edwinpm5) wrote : Re: Grub ignores options on /etc/default/grub

I've done a fresh install of trusty (amd64) without proposed enabled, and the issue persists. I noticed the GRUB_TIMEOUT* is been overridden on 30_os-prober. I've updated the bug description.