Ubuntu > grubでブートするカーネルを変更する方法

update 2014-04-21
広告

grubでブートするカーネルを変更したい。デフォルトでは、カーネル一覧の一番上に表示されるカーネルを選択する。

カーネル一覧に表示されるカーネルは、/boot/grub/grub.cfg を見ればわかる。

$ grep menuentry /boot/grub/grub.cfg
menuentry 'Ubuntu, with Linux 3.2.0-60-generic' --class ubuntu --class gnu-linux --class gnu --class os {
menuentry 'Ubuntu, with Linux 3.2.0-58-generic' --class ubuntu --class gnu-linux --class gnu --class os {
 :

この menuentry の行が、カーネル一覧の項目になる。

一方、/etc/default/grub を見ると、GRUB_DEFAULTというパラメータがある。

GRUB_DEFAULT=0
これを、例えば以下のように変更すればよい。
GRUB_DEFAULT="Ubuntu, with Linux 3.2.0-58-generic"
そして、update-grubを実行すれば、boot/grub/grub.cfgを作成してくれる。
$ sudo update-grip
ただし、grub.cfgにて、Ubuntu, with Linux 3.2.0-58-generic が 'Previous Linux versions' として定義されている場合がある。 この場合は、以下のように設定しないといけない。
GRUB_DEFAULT="Previous Linux versions>Ubuntu, with Linux 3.2.0-58-generic"
広告
お問い合わせは sweng.tips@gmail.com まで。
inserted by FC2 system