You are not logged in.

#1 2020-05-01 07:57:02

nick_0278
Member
Registered: 2020-03-22
Posts: 21

[SOLVED] Howto change default kernel

Hi!
I have a short question about loading from the respective Linux kernel. Today I installed the lts-kernel in addition to the 'normal' one (and also generated the initcpio and then grub-mkconfig -o /boot/grub/grub.cfg). Now the normal kernel is still loaded if I do not intervene during the startup process. Is there a way to make the lts-kernel the standard kernel?

EDIT:

I tried to change this:
GRUB_DEFAULT=O
to
GRUB_DEFAULT=O/GRUB_DEFAULT=1/GRUB_DEFAULT=2

but it didn't change anything.

- Nick

Last edited by nick_0278 (2020-05-01 08:48:13)

Offline

#2 2020-05-01 08:02:21

nl6720
The Evil Wiki Admin
Registered: 2016-07-02
Posts: 714

Re: [SOLVED] Howto change default kernel

If you can't find the correct value for GRUB_DEFAULT, you could try GRUB_SAVEDEFAULT.

Offline

#3 2020-05-01 08:47:37

nick_0278
Member
Registered: 2020-03-22
Posts: 21

Re: [SOLVED] Howto change default kernel

I made a really silly mistake and forgot to regenerate the grub configuration.
Thats why it doesn't work.

Thanks for your help

Offline

Board footer

Powered by FluxBB