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". Kind regards, -- Ben Caradoc-Davies <b...@transient.nz> Director Transient Software Limited <https://transient.nz/> New Zealand
