久しぶりにUKUUを使ってカーネルのアップデートをしたところ,インストールに成功したにも関わらず,再起動後も新しいカーネルが実行されませんでした.GRUBの起動メニューを開いていみると新しいカーネルが表示されていなかったので,設定ファイルを更新して新しいカーネルを選べるようにしました.
環境
筆者のマシンはUEFIベースのものなので,特に断りがない限りUEFIについて記述します.
- OS: Ubuntu 18.04
- 動作中のカーネル: Linux 5.5.11
- アップデートするカーネル: Linux 5.5.15
設定ファイルの更新
rootで作業するため,次のコマンドを発行します.
$ sudo su
GRUBの起動メニューを再生成します.出力先に,UEFIでの起動で読まれる/boot/efi/EFI/ubuntu/grub.cfg
を指定します.UbuntuはGRUB 2を使用していますが,コマンドはgrub-~
となっているようです.
# grub-mkconfig -o /boot/efi/EFI/ubuntu/grub.cfg
grub.cfg
のmenuentry
にアップデートするカーネルの名前があることを確認します.
# grep menuentry /boot/efi/EFI/ubuntu/grub.cfg
再起動します.
# reboot
確認
次のコマンドを発行してアップデートできていることを確認します.
$ uname -r
コメント