Re: Installing Guix System on an external hard drive

[Efraim Flashner]

On Tue, Nov 12, 2019 at 11:25:32PM +0100, Jan Wielkiewicz wrote:
> Hi everyone,
> 
> I'm trying to install Guix System to an external hard drive from
> existing Guix System on my laptop, but I encounter an error after
> running "sudo guix system init /mnt/etc/config.scm /mnt
> --system=x86_64-linux":
> 
> guix system: error:
> '/gnu/store/492amr5kh838i3021grmmn0pci80rfan-grub-efi-2.04/sbin/grub-install
> --boot-directory /mnt/boot --bootloader-id=Guix --efi-directory
> /mnt/boot/efi' exited with status 1; output follows:
> 
>   /gnu/store/492amr5kh838i3021grmmn0pci80rfan-grub-efi-2.04/sbin/grub-install:
>   error:
>   
> /gnu/store/492amr5kh838i3021grmmn0pci80rfan-grub-efi-2.04/lib/grub/i386-pc/modinfo.sh
>   doesn't exist. Use --target or --directory.
> 
> My target machine is an UEFI, x86_64 system.
> The hard drive is partitioned and mounted in the following way:
> 
> sdb                                     
> ├─sdb1        vfat            511,7M     0% /mnt/boot
> ├─sdb2        btrfs           143,8G     3% /mnt
> ├─sdb3        btrfs            this will be /home
> └─sdb4        btrfs            this doesn't matter
> 
> That's how my bootloader and file-systems configuration looks like:
> 
>  (bootloader
>   (bootloader-configuration
>    (bootloader grub-efi-bootloader)
>    (target "/boot/efi")
>    (keyboard-layout keyboard-layout)))
>  (file-systems
>   (cons* (file-system
>           (mount-point "/boot")
>           (device
>          (uuid "71B0-513F" 'fat))
>           (type "vfat"))
>          (file-system
>           (mount-point "/")
>           (device
>            (file-system-label "root"))
>           (type "btrfs"))
>        (file-system
>           (mount-point "/home")
>           (device
>          (file-system-label "home"))
>           (type "btrfs"))
>          %base-file-systems))
> 
> I'm sure I'm doing something wrong, but don't know what.
> 

On my machine with EFI I mounted my vfat partition at /boot/efi instead
of /boot. Does your /boot partition contain an efi directory?

-- 
Efraim Flashner   <address@hidden>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature