Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision |
wiki:choosing_and_installing_kernels [2013/10/22 19:04] – [Changing GRUB's default kernel] danboid | wiki:choosing_and_installing_kernels [2013/10/23 15:09] – [Testing kernels] danboid |
---|
=====Testing kernels===== | =====Testing kernels===== |
| |
After having installed a new kernel you must reboot, and in many cases select, the new kernel to boot into. Your GRUB boot menu settings are usually updated when you install a new kernel but GRUB doesn't always correctly pick the kernel you want to boot by default. To temporarily boot into a kernel that is not set as GRUB's default you have to hold the left SHIFT key when KXStudio starts booting. This should interrupt the usual boot procedure to display the GRUB menu which lets you use the arrow keys to select a the kernel or OS to boot. | After installing a new kernel you must reboot and in many cases you will want to manually select the new kernel to boot into. Your GRUB boot menu settings are usually updated when you install a new kernel but GRUB doesn't always correctly pick the kernel you want to boot by default. |
| |
You can verify the currently running kernel by looking at the System Checks in Cadence's main window or by running | To temporarily boot into a kernel that is not set as GRUB's default you have to hold the left SHIFT key when KXStudio starts booting. This should interrupt the usual boot procedure to display the GRUB menu which lets you use the arrow keys to select a the kernel or OS to boot. |
| |
| You can verify the currently running kernel by looking at the System Checks within Cadence's main window or by running: |
| |
uname -a | uname -a |
=====Changing GRUB's default kernel===== | =====Changing GRUB's default kernel===== |
| |
We've already mentioned Grub-customizer within this manual and, if you ignore the requirement of having to add its PPA to install it, GC is arguably the easiest way to modify your GRUB settings but there is no need to install that if all you want to do is change the kernel or OS that you want GRUB to boot by default. If we wanted to change GRUB so that it booted the 3.5.0-42-lowlatency kernel we've just installed instead of the default 3.8.0-32-lowlatency, you'd run: | We've already recommended [[https://launchpad.net/grub-customizer|Grub Customizer]] within this manual and, if you ignore the requirement of having to add its PPA to install it, GC is arguably the easiest way to modify your GRUB settings but there is no need to install it if all you want to do is change the kernel or OS that you want GRUB to boot by default. |
| |
| To adjust GRUB so that it boots the 3.5.0-42-lowlatency kernel instead of the default 3.8.0-32-lowlatency, you'd run: |
| |
kdesudo kate /etc/default/grub | kdesudo kate /etc/default/grub |