buen ouanq <buenouanq@gmail.com> writes:

> Attempting to install GuixSD as I have before (upgrading to guile@2.2 was
> being finicky, so I decided to just do a full fresh install), but today I
> encounter this:
>
>> grub-install: error:
> /gnu/store/..grub-2.02/lib/grub/x86_64-efi/modinfo.sh doesn't exist. Please
> specify --target or --directory.
>> guix system: error: failed to install GRUB on device '/dev/sda'
>
> /dev/sda is GPT.
> /dev/sda1 is a BIOS boot partition.
> modinfo.sh actually does exist in /gnu/store/..grub-2.02/lib/grub/i386-pc/
> where it should be - So I'm confused as to why it's trying to do the EFI
> version when the default should be normal BIOS GRUB.

GRUB will automatically detect whether it should install EFI or BIOS
bootloader. Probably the USB installer has booted in UEFI mode?

If you wish to use BIOS grub, you will need to force "legacy boot" in
your firmware when booting the GuixSD installer. Alternatively you can
set up an EFI system partition and use the 'grub-efi' package for
'native' EFI boot.

Hope this helps!