15 Jul
2018
15 Jul
'18
3:07 p.m.
Hi Andy,
On 15/07/2018 15:32, Andy Smith wrote:
(uname -a to comfirm)
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.
Regards
Ian
--
Ian Hobson
Tel (+351) 910 418 473
ian@hobsoni:~$ cat /etc/default/grub
# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.
# For full documentation of the options in this file, see:
# info -f grub -n 'Simple configuration'
GRUB_DEFAULT=0
GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
It's not a problem at all but you might like to
comment out the two
lines starting "GRUB_HIDDEN_" so that you do actually get a grub
boot menu.
Don't forget to run "update-grub" after changing this file.