Hello,
On Sun, Jul 15, 2018 at 04:07:11PM +0100, Ian Hobson wrote:
> On 15/07/2018 15:32, Andy Smith wrote:
> >Don't forget to run "update-grub" after changing this file.
>
> I did this, and afterwards "sudo reboot". and it rebooted into....
>
> Linux hobsoni 4.4.0-130-generic #156-Ubuntu SMP Thu Jun 14 08:53:28 UTC 2018
> x86_64 x86_64 x86_64 GNU/Linux
>
> Which I think is the latest.
Yes, it seems so. It seems like the only thing that went wrong is
that update-grub wasn't run for some reason. It normally happens
when kernel packages are installed/removed.
Cheers,
Andy
--
https://bitfolk.com/ -- No-nonsense VPS hosting
