grubメニューが表示されない
このところずっとgrubメニューが表示されていなかった。windowsとのデュアルブートを考えていたこともあって表示を企んだ。ところが、いろいろ調べてもうまく行かない。
GRUB_DEFAULT="0" GRUB_TIMEOUT_STYLE="menu" GRUB_TIMEOUT="5" GRUB_HIDDEN_TIMEOUT_QUIET="false" GRUB_DISTRIBUTOR="`lsb_release -i -s 2> /dev/null || echo Debian`" GRUB_CMDLINE_LINUX_DEFAULT="splash" GRUB_CMDLINE_LINUX=""
これで問題はないはずなんだが、表示されない。OSブートに行く前に待ち時間があるのでTIMEOUTが効いていると思われる。つまり本当は表示しているんだろうけど見えない状態。文字と背景が同じ色になっているのかとも疑ったが、そうではなかった。