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