From: Joshua Branson <bransoj@hotmail.com>
To: "help-guix@gnu.org" <help-guix@gnu.org>
Subject: Re: grub not properly installing in GuixSD
Date: Mon, 17 Jul 2017 20:23:54 +0000 [thread overview]
Message-ID: <BN6PR10MB17297EF5CFA8FF79454D6D6DA6A00@BN6PR10MB1729.namprd10.prod.outlook.com> (raw)
In-Reply-To: <BN6PR10MB172988669E9DB70C52973F70A6A00@BN6PR10MB1729.namprd10.prod.outlook.com>
[-- Attachment #1: Type: text/plain, Size: 4837 bytes --]
I do actually have swap devices in the config file. I just didn’t want to re-write the entire config file. :)
That is true. I do have /dev/sda1 tagged as bootable and as esp.
parted p shows
/dev/sda1 flags: boot, esp file system fat32, Size 537MB
And you are seeing that missing parenthesis because my config has a menu-entries to specify that I dual boot.
(bootloader …
….
(menu-entries
(list
(menu-entry
(label “Parabola”)
….
……. ) ;; closing parenthesis for the (bootloader
If I was missing parenthesis, guix would have given me an error when I tried to init the system. So I believe that my parenthesis are in order. :)
Thanks for the speedy response. I’m sure I’ll figure it out eventually.
I suppose that part of the problem could be that /dev/sda1 already has grub installed on it. When I installed Arch linux, it used /dev/sda1 as the partition to install guix. /dev/sda1 is the partition that is flagged as bootable, and right now it’s configured to load grub then boot Arch linux. If I install grub again on /dev/sda1, will grub be smart enough to load guixSD? It might be wiser to delete- and re-create /dev/sda1. That way guixSD will install on blank slate. The only problem is, that might break my boot process. If I can get to a boot command line, I know how to boot Parabola. But issues bro. issues.
P.S. If you are interested in learning more about MBR, EFI partition, UEFI, and GPT, then you should take a look at this wiki: https://wiki.archlinux.org/index.php/GRUB#UEFI_systems It gives you a good overview.
On Jul 17, 2017, at 3:28 PM, Joshua Branson <bransoj@hotmail.com<mailto:bransoj@hotmail.com>> wrote:
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
I believe that for some reason guixSD is install guix in a BIOS way. At least that’s what this ask ubuntu forum says: https://askubuntu.com/questions/763472/what-can-i-do-to-fix-this-error-on-grub-efi/763746 Apparently grub should be trying to install via X86_64….
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
[-- Attachment #2: Type: text/html, Size: 10706 bytes --]
next prev parent reply other threads:[~2017-07-17 20:24 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-07-17 19:28 grub not properly installing in GuixSD Joshua Branson
2017-07-17 20:23 ` Joshua Branson [this message]
2017-07-17 21:47 ` Marius Bakke
2017-07-18 17:51 ` Joshua Branson
2017-07-18 23:11 ` Marius Bakke
2017-07-22 21:58 ` Joshua Branson
2017-07-23 12:39 ` Ricardo Wurmus
2017-07-24 14:04 ` Joshua Branson
2017-07-25 19:26 ` Marius Bakke
2017-07-28 13:23 ` Joshua Branson
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=BN6PR10MB17297EF5CFA8FF79454D6D6DA6A00@BN6PR10MB1729.namprd10.prod.outlook.com \
--to=bransoj@hotmail.com \
--cc=help-guix@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).