I've read that a couple of times, but seems like I remember the last time I installed a new kernel, having to go in and manually change the default.... but I could be wrong... she's running KDE and I'm running XFCE... but I'm sure it makes no difference which DE is running.
Just18 is right. The last kernel installed becomes the default one. When the GRUB selection starts the boot process it loads the kernel from this part of the first stanza in each section:
But, vmlinuz is not the actual kernel. It is a link to the kernel to be booted. To see which kernel is booted by the default GRUB choice, (unless the default has been changed), open a terminal and enter the following: (you don't need root privileges)ls -l /boot/vmlinuz
You will see something like this: lrwxrwxrwx 1 root root 31 Sep 30 15:53 /boot/vmlinuz -> vmlinuz-126.96.36.199-pclos3.pae.bfs
. /boot/vmlinuz is a link to the actual kernel, vmlinuz-188.8.131.52-pclos3.pae.bfs. So, by using the above command, you can find out which is your default kernel.
And, you're right, Meemaw. The desktop used makes no difference.
(You're never dopey, Just18!!!)
Right again. I'm
the dopey one!