On 24/08/2018 10:41, Ben Caradoc-Davies wrote:
On 24/08/2018 10:37, Ben Caradoc-Davies wrote:
The new format to specify a different default kernel is horrific; it
contains menu items separated with ">". You need to get the full label
from your generated grub.conf because it likely contains device UUIDs:
GRUB_DEFAULT="gnulinux-advanced-ed4def00-71bb-4521-a16e-9551bd762b5b>gnulinux-4.16.0-1-amd64-advanced-ed4def00-71bb-4521-a16e-9551bd762b5b"
Actually, these are filesystem UUIDs. You can see them with "blkid".
To be specific, the filesystem UUID for the root filesystem to be booted.
Kind regards,
--
Ben Caradoc-Davies <b...@transient.nz>
Director
Transient Software Limited <https://transient.nz/>
New Zealand
