Quick Answer: How Do I Change the Default Kernel Version in Ubuntu?
Contents to Manually Set a Specific Kernel to Boot, the User Must Edit the /Etc/Default/Grub File as the Superuser/Root. the Line to Edit Is the...
To manually set a specific kernel to boot, the user must edit the /etc/default/grub file as the superuser/root. The line to edit is the GRUB_DEFAULT=0. After setting this line to the desired setting (see below), save the file and update the GRUB 2 configuration file using the following command: sudo update-grub.
How do I change the default Linux kernel?
Open /etc/default/grub with a text editor, and set GRUB_DEFAULT to the numeric entry value for the kernel you chose as the default. In this example, I choose the kernel 3.10. 0-327 as the default kernel. Finally, re-generate GRUB configuration.
Must Read
How do I change kernel in Ubuntu?
Tutorial on Updating Ubuntu Kernel
- Step 1: Check Your Current Kernel Version. At a terminal window, type: uname –sr. …
- Step 2: Update the Repositories. At a terminal, type: sudo apt-get update. …
- Step 3: Run the upgrade. While still in the terminal, type: sudo apt-get dist-upgrade.
Elena Rostova holds a Master's degree in Public Health Journalism. She covers groundbreaking medical research, holistic wellness trends, mental health awareness, and nutritional science.
