page_list

Jan 11, 2018

setting default kernel in grub

Due to the backlight trouble in ubuntu 4.13.0-26, I have to keep older kernel for private PC.

  • set GRUB_DEFAULT in /etc/default/grub
  • the value is index of array output by grep menuentry /boot/grub/grub.cfg
  • run sudo update-grub