An observation (kernel 3.13.0-155 is broken WRT Java) and a Grub2 / Ubuntu question
cjwatson at ubuntu.com
Sat Aug 18 16:15:59 UTC 2018
On Fri, Aug 17, 2018 at 03:57:09PM -0400, Robert Heller wrote:
> My question is this: what is the "magic" to change the default kernel to boot?
> With the grub2 configuration "magic" it is not a simple matter of changing one
> line /boot/grub/grub.conf, but seems to require something far more arcane and
> there does not seem to be a simple man page that explains this. Sigh...
(Regarding submenus, you can set the default entry to something in a
submenu by taking the menu entry titles at each level and separating
them with '>' characters, e.g. "Advanced options for Ubuntu>Ubuntu, with
Linux 3.13.0-155-generic". This is documented in 'info grub -n
Colin Watson [cjwatson at ubuntu.com]
More information about the ubuntu-users