15 Jul
2018
15 Jul
'18
3:10 p.m.
Hello,
On Sun, Jul 15, 2018 at 04:07:11PM +0100, Ian Hobson wrote:
On 15/07/2018 15:32, Andy Smith wrote:
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
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.