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

[Robert Heller]

At Fri, 17 Aug 2018 22:17:07 +0200 "Ubuntu user technical support,  not for general discussions" <ubuntu-users at lists.ubuntu.com> wrote:

> 
> 
> 
> hi,
> Am Freitag, den 17.08.2018, 15:57 -0400 schrieb Robert Heller:
> > 
> > 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...
> 
> whoops, i meant to also answer this one ... 
> 
> hold the shift key during boot to get into the menu
> select the former kernel and boot it (see the bottom of the screen for
> instructions)

Ah, so Ubuntu/grub2 no longer uses the "Any" key and specificly uses the 
"Shift" key.  I guess that was why my Any key foo did not work...

> 
> after booting, edit /etc/default/grub, change the value of
> GRUB_DEFAULT= to the grub menu entry you want booted as default and run
> "sudo update-grub" ... 
> 
> that should switch the default to to the entry you picked.

I could not get this to work.  It seems that I either get the "Advanced Ubuntu 
Options", which would again default to -155 (if I select 1) or memtest (if I 
select 2).  The kernel I want is in a *submenu*.  Arg -- somebody is being 
excessively clever.



> 
> ciao
> 	oliContent-Description: This is a digitally signed message part
> 
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v2
> 
> iEYEABEKAAYFAlt3LUMACgkQSsOT+6LQaTbq4gCgi5xYLAV/+kjW4fRmtd4lLYoN
> FNAAmwWHR0fADa7AzAFQmQfLfF3WLxHf
> =9nHn
> -----END PGP SIGNATURE-----
> 
> MIME-Version: 1.0
> 

-- 
Robert Heller             -- 978-544-6933
Deepwoods Software        -- Custom Software Services
http://www.deepsoft.com/  -- Linux Administration Services
heller at deepsoft.com       -- Webhosting Services