<mark_weaver>jgrant: you seem to be in the habit of answering questions for newcomers about Guix. I appreciate your trying to help, but you seem prone to making guesses about subjects that you don't know much about. please be more careful not to spread misinformation. thanks.
<mark_weaver>jgrant: you were completely wrong in your answer about OS X that "in theory everything should work".
<mark_weaver>you'd start with Guix running on a GNU/Linux box, and then try to cross-compile bootstrap tarballs for XNU using the command in the "Porting" section of the manual. You just need to figure out the right GNU triplet for using full GNU userland on a XNU kernel.
<dfh>hm. that's way beyond my capabilities at the moment i'm afraid. guess i'll go for a VM instead.
<davexunit>if things were correct, it would have downloaded binaries rather than building them locally.
<sirgazil>davexunit: sorry, I had to run. About the installation of the distro, I was looking for a way to create an image I can use in a virtual machine or for an installer CD/DVD in case I find a real machine. Believe it or not, I don't have access to a USB stick.
<DusXMT>sirgazil: Another way to install it (how I did it at first) is to install Guix in top of a different distro on a different partition, and then install from there, using `guix system init'
<DusXMT>It's the exact same procedure as with the USB image, except done on a non-live system
<DusXMT>You might even get by doing this on a differentlive system, but beware, everything you modify is in ram (most live CDs work copy-on-write to ram), so you might just not have enough (in that case, you need more swap)
<sirgazil>DusXMT: But that will give me a mix of Guix distro with another distro? I'm not as advanced a user as most people here :)
<DusXMT>The first step, installing guix onto the non-Guixotic distro, will leave you with a `mix of Guix distro with another distro', from there, you'll create a (pure) Guixotic system on a different partition using `guix system init'
<sirgazil>Ah, I see. Maybe I will try that. Thanks.
<DusXMT>sirgazil: and just to defeat your doubts, there'll be no difference in the installed system compared to if you installed it from the USB image, as it's the same exact set of steps on the same config file (that you'll write, using the one in the Guix manual as a template perhaps), so you don't have to worry about making an `inferior system'.
<sirgazil>Yeah, I am looking for a pure Guixotic system. So, thanks again :)
<davexunit>sirgazil: we'll have ISOs at some point, I'm sure.
<davexunit>we just need someone to figure out how to do it
<jgrant>davexunit: zdavis_was working at it for a bit, not sure if it's still on his list, on his backburner, or gave up.
<davexunit>oh yeah, he had issues with file name limits or something
<jgrant>*.iso support would be great though, a lot of people shockingly don't use USB images over CD/DVDs.
<fchmmr>"Booting into Guix on the X60 with Grub as BIOS is also slightly uncomfortable: you'll get to the boot screen, but from there you'll have to "scan the internal disk for bootloaders" every time (this time you wont have to edit it as we are indeed booting from the internal hard drive)."
<fchmmr>Here is how to modify the grub.cfg so that you don't need to use the "Search" or "scan" option:
<fchmmr>Whatever Guix uses in its own grub.cfg to boot, you can adapt and put it libreboot's grub.cfg file.
<fchmmr>Feel free to drop by #libreboot or the mailing list with any changes made. For changes that are more or less generic (not specific to Guix) I can actually merge them in the libreboot git repository.
<fchmmr>Or I can add a separate menuentry for Guix, for the default (assumed) configuration.
<fchmmr>For instance, the "Load operating system" boot entry in the grub.cfg used by libreboot assumes that the user is running Trisquel with / and /boot on sda1 where there is a symlink vmlinuz and initrd.img in / pointing to the correct kernel in /boot (symlink) or where those files in / are the real ones and not symlinks.
<fchmmr>In fact, remove "Trisquel" from that paragraph and just apply the rest. (because the default "Load operating system" entry also works for ProteanOS, Debian, Ubuntu, Linux Mint etc with the same assumptions).
<fchmmr>or any distro, in fact, as long as their criteria I mentioned are met.
<fchmmr>I can add such an entry for Guix if desirable.
<fchmmr>I don't know much about Guix though because I've never used it. I would like to at some point. I'm happy just to merge what works that others have tested.
<fchmmr>The usability issue with libreboot is that because the grub.cfg is in SPI flash and GRUB is the payload of coreboot-libre, most distros won't be completely automatic.
<fchmmr>It would be nice if there was a way in a distro to say "I am a libreboot user, with the GRUB payload, with the grub.cfg in CBFS" so that it would automatically dump the image, extract grub.cfg, modify it, re-insert it into the image and then re-flash.
<fchmmr>That might be risky though, because mistakes made here can brick the machine.
<fchmmr>It's not really a "risk" since external SPI programmers are easy to find, but it's an annoyance that most users want to avoid (and me especially. I don't want a horde of people in #libreboot asking how to use a SPI flasher ;)