☰ Dup Goto 📝

set-default-kernel

PT2/linux/boot 07-31 13:46:40
To Pop
34 lines, 71 words, 1400 chars Monday 2023-07-31 13:46:40

Some approaches

0

From how2shout

Edit /etc/default/grub and set

GRUB_DEFAULT=saved
GRUB_SAVEDEFAULT=true
#GRUB_TIMEOUT=0

1

From this github gist

Find the options

$ cd /boot/grub
grub$ grep option grub.cfg | sed -e "s/.*id_option '//" -e "s/'.*//"
gnulinux-simple-80fb29ca-9952-461c-a7de-fcf32e80a450
gnulinux-advanced-80fb29ca-9952-461c-a7de-fcf32e80a450
gnulinux-5.19.0-38-generic-advanced-80fb29ca-9952-461c-a7de-fcf32e80a450
gnulinux-5.19.0-38-generic-recovery-80fb29ca-9952-461c-a7de-fcf32e80a450
gnulinux-5.19.0-32-generic-advanced-80fb29ca-9952-461c-a7de-fcf32e80a450
gnulinux-5.19.0-32-generic-recovery-80fb29ca-9952-461c-a7de-fcf32e80a450
gnulinux-5.15.0-69-lowlatency-advanced-80fb29ca-9952-461c-a7de-fcf32e80a450
gnulinux-5.15.0-69-lowlatency-recovery-80fb29ca-9952-461c-a7de-fcf32e80a450

so we want gnulinux-5.15.0-69-lowlatency-advanced-80fb29ca-9952-461c-a7de-fcf32e80a450 as our first choice and gnulinux-5.19.0-38-generic-advanced-80fb29ca-9952-461c-a7de-fcf32e80a450 as our second. So edit /etc/default/grub and set

GRUB_DEFAULT='gnulinux-5.15.0-69-lowlatency-advanced-80fb29ca-9952-461c-a7de-fcf32e80a450>gnulinux-5.19.0-38-generic-advanced-80fb29ca-9952-461c-a7de-fcf32e80a450'