Author: Ian Hobson Date: To: users Subject: Re: [bitfolk] Problem updating ubuntu
Hi Andy,
On 15/07/2018 15:32, Andy Smith wrote: > (uname -a to comfirm)
>
>> 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.
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
