Ubuntuのカーネル操作

Ubuntuのカーネル操作関連について

現在のカーネルのバージョンの確認

uname -a

インストールされているカーネルの確認

dpkg -l | grep linux-image

カーネルのインストール

インストール可能なカーネルの確認

apt-cache search linux-image

目的のバージョンのカーネルがない場合は下記を行ってから再度確認

sudo apt-get update
sudo apt-get upgrade

目的のカーネルのインストール

sudo apt-get install linux-image-{目的のバージョン}

インストール後に再起動

カーネルを変更して固定

アップデート等で意図せずカーネルが変更されないように固定する
方法は下記の2通り（どちらかのみで有効）

その1

/etc/cat/preferences.d/linux-kernelを作成し、書き込むやり方

何らかのエディタから/etc/cat/preferences.d/linux-kernelを開いて編集する
rootファイルのため編集にはsudoが必須

sudo gedit /etc/cat/preferences.d/linux-kernel

内容を編集
下記はカーネルを4.15.0-76-genericにした時の例
-（ハイフン）が.（ドット）になっていることに注意

/etc/apt/preferences.d/linux-kernel

Package: linux-generic
Pin: version 4.15.0.76
Pin-Priority: 1001

Package: linux-headers-generic
Pin: version 4.15.0.76
Pin-Priority: 1001

Package: linux-image-generic
Pin: version 4.15.0.76
Pin-Priority: 1001

その2

grubを編集する
こっちの方法は少しややこしい

/etc/default/grubをroot権限で開く

sudo gedit /etc/default/grub

ファイル内にあるGRUB_DEFAULTを書き換える
下記はカーネルを4.15.0-76-genericにした時の例

# GRUB_DEFAULT=0
GRUB_DEFAULT="gnulinux-advanced-XXXXXXXX-XXXX-XXXX-XXXX-XXXXXXXXXXXX>gnulinux-4.15.0-76-generic-advanced-XXXXXXXX-XXXX-XXXX-XXXX-XXXXXXXXXXXX"

XXXXXXXX-XXXX-XXXX-XXXX-XXXXXXXXXXXXの部分は前後とも共通
その内容は/boot/grub/grub.cfg内にあるdvanced options for Ubuntuのmenuentry_id_optionを調べる