Grub
Change Default Kernel Version
- Obtain the kernel id string from
grep gnulinux /boot/grub/grub.cfg
- Edit
/etc/default/grub
GRUB_DEFAULT=<the kernel you want>
sudo update-grub
grep gnulinux /boot/grub/grub.cfg
/etc/default/grub
GRUB_DEFAULT=<the kernel you want>
sudo update-grub