Ubuntu > grubでブートするカーネルを変更する方法
更新日
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 まで。