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

[Andy Wingo <wingo@igalia.com>]

On Mon 18 Sep 2017 10:04, Hartmut Goebel <h.goebel@crazy-compilers.com> writes:

> 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
>
> root@gnu ~# ls -d /mnt/boot/efi
> /mnt/boot/efi/
> root@gnu ~# 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?

You need to mount the EFI partition to /boot/efi in the installation
system.  As the manual says in "Preparing for Installation" (perhaps not
clearly enough):

   If you instead wish to use EFI-based GRUB, a FAT32 “EFI System
   Partition” (ESP) is required.  This partition should be mounted at
   ‘/boot/efi’ and must have the ‘esp’ flag set.

Andy