まず、のバックアップコピーを作成します/etc/default/grub
。何か問題が発生した場合、既知の正常なコピーに簡単に戻すことができます。
sudo cp /etc/default/grub /etc/default/grub.bak
次に、選択したテキストエディタ(geditなど)を使用してファイルを編集します。
sudo -H gedit /etc/default/grub
含まれている行を見つけますGRUB_DEFAULT
-これは、デフォルトを設定するために編集するものです。必要なカーネルのフルネームを知っている必要があります-例えばUbuntu, with Linux 3.13.0-53-generic
-「高度なメニュー」のフルネーム-例えばAdvanced options for Ubuntu
。
次に、これら2つの文字列を組み合わせて>
、次のように設定GRUB_DEFAULT
しますGRUB_DEFAULT="Advanced options for Ubuntu>Ubuntu, with Linux 3.13.0-53-generic"
(引用符を含む)。
保存してから、更新されたgrubメニューを作成します。
sudo update-grub
参照:GNU GRUBマニュアル2.02、またはより具体的には、デフォルトの設定に関するセクション15.1.0。
注:カーネルとメニューにアクセスするために数字を使用する方法がありますが、カーネルの更新が発生したときに信頼できないため、これは推奨されません。