Changing GRUB Default Boot Kernel in Ubuntu 10.4
Problem
You want to always boot a certain kernel in Ubuntu. There is no /boot/grub/menu.lst.
Solution
- Edit this file:
/etc/default/grub/
and add:GRUB_DEFAULT=saved GRUB_SAVEDEFAULT=true
- Run this utility:
sudo update-grub
Now next time you reboot, choose your favorite kernel. This decision will be remembered.