Ubuntu 14.04のGRUBメニュー表示時間を0にする

インストールした直後はGRUBのメニューが表示されずに起動していたはずなのに、何かの拍子に表示されるようになってしまった。10秒も待たされてはたまらない。

記憶によると/etc/default/grubファイルのGRUB_TIMEOUTの値を0にし、update-grubコマンドを実行すればよかったはずだがうまく行かない。

/etc/grub.d/30_os-prober内の quick_bootの値を0にし、update-grubを実行することでうまく行った。