2011-07-11 Ubuntu server 11.04で、クラッシュ後の起動でgrubがタイムアウトしない /etc/grub.d/00_headerの編集。recordfailあたり。 http://ubuntuforums.org/showthread.php?t=1716772http://jwalanta.blogspot.jp/2011/05/grub2-recordfail-fail.html