On 2024-02-26, Wol <antli...@youngman.org.uk> wrote: > On 26/02/2024 20:51, Grant Edwards wrote: > >> The simple answer is to quit wasting time trying to multi-boot like >> that and just buy a dozen USB flash drives. >> > And then, if USB isn't the default boot media, he might as well sort out > UEFI boot, and multi-boot that way.
Except that every time I've found a write-up about multibooting a lot of Linux distros with UEFI, it turns out that it doesn't actually work very well and is more work to maintain than what I'm doing now. -- Grant