...
* Grubby seems to thing the default kernel is selected...but grub
never boots it:
# grubby --grub2 --default-kernel
man grubby
=> no parameter "--grub2"
/boot/vmlinuz-5.3.7-301.fc31.x86_64
# rpm -q kernel
kernel-5.2.18-200.fc30.x86_64
kernel-5.3.7-200.fc30.x86_64
kernel-5.3.7-301.fc31.x86_64
you could remove fc30 one's:
rpm -qa | grep kernel-core
sudo dnf remove kernel-core-<fill in the correct version numbers>
Can anyone tell me where to investigate please?
cat /etc/default/grub
GRUB_DEFAULT=???
"0" or "saved"
I guess - my config is changed - "saved" is the fedora default
"0" should do what you want: the lastest installed kernel is the top most in the
grub-boot-menu.
- if I pick it right - "saved" needs to select the lastest kernel in grub-/boot
menu manually only ONCE and that selection should become the default forever (but only
until the next kernel update)
if you change /etc/default/grub you need to run grub2-mkconfig:
[ -d /sys/firmware/efi/efivars ] && sudo grub2-mkconfig -o
/boot/efi/EFI/fedora/grub.cfg || sudo grub2-mkconfig -o /boot/grub2/grub.cfg
the last line is only ONE line from "[" to "g" !
it's a short form of an "if" - "then" - "else"
where:
"&&" means "then"
"||" means "else"