guix system init: failed to get path of `/boot/efi'

[Hartmut Goebel]

Hi,

For installing a GuixSD in e fresh system I followed the installation
instructions in the manual. As described in the manual, I did set

  (bootloader (bootloader-configuration
                (bootloader grub-efi-bootloader)
                (target "/boot/efi")))

But running

address@hidden ~# ls -d /mnt/boot/efi
/mnt/boot/efi/
address@hidden ~# guix system init /mnt/etc/config.scm /mnt

failed with:

populating '/mnt'...
Installing for x86_64-efi platform.
/gnu/store/…-grub-efi-2.02/sbin/grub-install: error: failed to get
canonical path of `/boot/efi'.

Obviously grub-install is not "chroot"-ing to /mnt.

Is this expected behavior? And what is the correct solution?

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | address@hidden               |
| www.crazy-compilers.com | compilers which you thought are impossible |