On Thu, 05 May 2016 09:53:23 +0100, Peter Humphrey wrote: > Also, grub is a total failure on this box: it just isn't detected. So I > use gummiboot instead. It's also far, far easier to manage if you have > more than one kernel to choose from, and it saves you having to learn > all that baroquery. Frankly, I'm glad to see the back of grub-2. I'd go so far to say that the main reason to use UEFI is to be free of GRUB. gummiboot/bootctl is so much nicer, even if it is now part of systemd's plans for World domination ;-) -- Neil Bothwick Women live longer than men because they have so many clothes that they wouldn't be caught dead in.