An observation (kernel 3.13.0-155 is broken WRT Java) and a Grub2 / Ubuntu question

[Colin Watson]

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...

grub-set-default(8)

(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
default'.)

-- 
Colin Watson                                       [cjwatson at ubuntu.com]