On 16/05/2018 12:10, Nicolas Kovacs wrote:
Bonjour Nicolas!
So right now I have two kernels on my machine, the 4.4.129 and the 4.4.131. How do I configure GRUB so that on the next reboot, it defaults to the 4.4.131 kernel? I knew how to do this with LILO under Slackware, but GRUB is a very different beast.
The easiest way is to use the "grubby" tool to set your default kernel. Look at the man page of grubby for details.
Regards, Anand