An observation (kernel 3.13.0-155 is broken WRT Java) and a Grub2 / Ubuntu question
heller at deepsoft.com
Fri Aug 17 20:32:19 UTC 2018
At Fri, 17 Aug 2018 22:17:07 +0200 "Ubuntu user technical support, not for general discussions" <ubuntu-users at lists.ubuntu.com> wrote:
> 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
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
> oliContent-Description: This is a digitally signed message part
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v2
> -----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
More information about the ubuntu-users