Hello,
I’m currently trying to dual boot Arch Linux and GuixSD on a desktop machine that I built. GuixSD seems to be installing well, but grub in not properly installing. I’m trying to boot using grub-efi.
After I run guix system init /mnt/etc/bare-bones.scm /mnt
I get this error:
grub-install: error: /gnu/store/ipwgwqaarp304r82…….-grub-efi-2.02/lib/grub/i386-pc/modinfo.sh doesn’t exist. Please specify —target or —directory.
guix system: error: failed to install GRUB on device /dev/sda1
Now here’s detail about my set up.
parted p
/dev/sda1 500MB or so vfat partition.
/dev/sda2 20 GB Arch root
/dev/sda3 1GB swap
/dev/sda4 /home for both Arch and GuixSD
/dev/sda5 / for GuixSD.
The partition table is using GPT.
Arch linux is already installed. It boots using UEFI, but Arch mounts /dev/sda1 to /boot.
I booted guixSD via a usb-stick. I believe that I booted in BIOS mode. I was unable to get the usbstick to boot via UEFI.
mount /dev/sda5 /mnt
mkdir -p /mnt/boot/efi
mount /dev/sda1 /mnt/boot/efi
mkdir /mnt/home
mount /dev/sda4 /mnt/home
swapon /dev/sda3
Then I ran guix system init.
I don’t want to completely copy out my config file (that would take a while), but here’s the gist of it. At least the parts that deal with UEFI boot:
(use-modules (gnu) (gnu system nss))
...
(use-package-modules bootloaders admin certs gnome)
…
(boot loader (grub-configuration
(grub grub-efi)
(device “/dev/sda1”)
….
(file-systems (cons* (file-system
(device “my-root”) ;; //this is /dev/sda5
(title ‘label)
(mount-point “/“)
(type “ext4”))
(file-system
(mount-point “/home”
(device “/dev/sda4”)
(type “ext4”))
(file-system
(device “/dev/sda1”)
(mount-point “/boot/efi”)
(type “vfat”))
%base-file-systems))
I’m using a AMD CPU. 1TB hard drive. And I don’t think there is much more that I can say at this point. Is there a specific guix command to try to install grub? What command would I run to install grub on /dev/sda1 so that it boots GuixSD?
Thanks,
Joshua