Skip to content

Instantly share code, notes, and snippets.

@iamcryptoki
Created September 24, 2018 10:29
Show Gist options
  • Select an option

  • Save iamcryptoki/cd775b71cf659866a6da4d875a02caf6 to your computer and use it in GitHub Desktop.

Select an option

Save iamcryptoki/cd775b71cf659866a6da4d875a02caf6 to your computer and use it in GitHub Desktop.
Set default kernel in GRUB.
$ grep '^menuentry' /boot/grub2/grub.cfg
# Open '/etc/default/grub', and set GRUB_DEFAULT to the numeric entry value for the kernel you choose as the default.
GRUB_DEFAULT=0
# Re-generate GRUB configuration.
$ grub2-mkconfig -o /boot/grub2/grub.cfg
$ reboot
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment