Ludovic Courtès: > Are you sure the UUID is correct? It must be a LUKS UUID, as returned > by “cryptsetup luksUUID /dev/sdXXYY”, not an ext2 UUID. > This actually gave me the same UUID, so I moved on to the next step since the issue could have just been the lack of LUKS UUID functionality in 0.10. > Also, the ability to use LUKS UUIDs like this was not available in > 0.10.0. So if you’re installing from the 0.10.0 USB image, you must > first ‘guix pull’. > Everything went well, and I booted into Xfce. Thanks -- https://emailselfdefense.fsf.org gpg --recv-key 'D7E9 5431 9C95 097F C314 C2A2 DD8C 15BD 0168 5E3A'