zunda ? nはおまけ :green_dango:grub menuのデフォルトの起動項目をしていするには/etc/default/grubのGRUB_DEFAULTを編集してsudo update-grubするんだけど、項目名をidで指定する場合でもメニューの項目を辿っていくようにしないといけないみたい。4.15.0-34と4.15.0-36がある状態で新しいカーネルが来ても4.4.0-15で起動するように、下記のようにした。
$ grep GRUB_DEFAULT /etc/default/grub
GRUB_DEFAULT="1>gnulinux-4.4.0-135-generic-advanced-a6268849-42cb-4d0e-80f3-eb2704407c01"
All senooken JP Social content and data are available under the