Linux のデフォルトカーネルを設定する方法を教えてください。
GRUB設定を編集するか、grub-set-defaultコマンドを使用して、デフォルトカーネルを設定します。
- GRUB構成ファイルの編集:
- 端末を開き、root権限でログインするかsudoコマンドを使用する
- テキストエディタを使って/etc/default/grubファイルを開く
- GRUB_DEFAULT行を見つけてください。これはデフォルトカーネルを設定するために使用されます。その値を、必要なカーネルの番号に変更してください。カーネルの番号は0から始まります。たとえば、1番目のカーネルをデフォルトのカーネルに設定するには、GRUB_DEFAULTの値を0に変更します。
- ファイルを保存して閉じる
- ターミナルで sudo update-grub コマンドを実行して変更を反映します。
- grub-set-defaultコマンドを使用する:
- ターミナルを開き、root権限で直接ログインするかsudoコマンドを利用する
- 「grep menuentry /boot/grub/grub.cfg」コマンドで利用可能なカーネルのリストと番号を表示します.
- 以下のコマンドを使い、必要なカーネルをデフォルトのカーネルとして設定します: sudo grub-set-default <カーネル number>
- sudo update-grubを実行して変更を有効にします。
GRUB 以外のブートローダーを使用している場合は、デフォルトカーネルの設定方法についてドキュメントを参照してください。