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 <ben@transient.nz> Director Transient Software Limited <https://transient.nz/> New Zealand