GRUBの設定を変更する

デフォルトではGRUBは表示されずに起動されるけど、明示的に起動したいカーネルを選びたいときに困る…

http://www.usupi.org/sysad/202.html によると、

/etc/default/grub

をいじって、

update-grub

すればいいらしい

GRUB_HIDDEN_TIMEOUT

の項目をコメントアウトすれば、GRUBが表示されるようになる