***JamesJRH_ is now known as JamesJRH
<davexunit>it's installed, but i get thrown into the guile debugger on boot <cantstanya>is “guix” just the package management system, or will it also be the name of a gnu/linux distribution with it and dmd? <davexunit>cantstanya: the distro is named simply "GNU", or "The GNU system" <mark_weaver>davexunit: with my X60, the initrd seems to be lacking the drivers necessary to access the hard disk. <davexunit>another step closer to a working system, at least. <mark_weaver>I'm about to try the following added to my operating-system defn: (initrd (cut base-initrd <> #:extra-modules '("ahci.ko" "libahci.ko"))) <davexunit>oh, cool. I wouldn't have thought to do that. <mark_weaver>davexunit: does your machine have coreboot or libreboot? how do you boot from USB? <davexunit>I boot from USB by pressing "c" at the grub prompt and entering 2 commands: <davexunit>I do a similar thing to boot from the hard disk <davexunit>I don't yet know how to edit the grub that libreboot uses to have the right options in the menu <mark_weaver>davexunit: that grub configuration for libreboot is baked into the firmware <davexunit>ohhh. so I can't change it without reflashing, then. <mark_weaver>davexunit: there are instructions on the libreboot web site telling how to change it <mark_weaver>davexunit: however, at least on mine, the last menu item is "Scan for GRUB configurations on the internal HDD" <mark_weaver>which automatically does the right thing for hard disk partitions anyway. <davexunit>I would like to make that option the default, I wonder if that requires reflashing, too <davexunit>alright, I will talk to the fsf sysadmin and interns about it. they've been doing a bunch of libreboot stuff lately. <davexunit>so they can probably hook me up with what I need. <davexunit>yeah one of the devs hangs out in #fsfsys and helps us out from time to time <davexunit>I just want to talk to the sysadmins first because they know exactly how they configured and built this rom. <davexunit>I'm going to bed now. between troubleshooting guix issues and the fsf.org problems that happened an hour or so ago, I'm exhausted. <mark_weaver>davexunit: okay, thanks for all your work on this. good night! <davexunit>night. thanks as always for your help and guidance. <mark_weaver>looks like it might be important to list libahci.ko before ahci.ko <svetlana>I tried to run guix in a tty on the host OS. It is an advantage: now I, with gdm, can select text there using mouse. However, I still can't scroll the output qemu and guix provide. On whose end is that problem? <DusXMT>when doing guix system reconfigure, it works as expected with --no-grub, but without, I get a vague error that "failed to install GRUB on device '/dev/sda'", and increasing the verbosity level does nothing to it. Does guix keep any logs I could check about this? <DusXMT>Temporary workaround: copy the generated grub.cfg from /gnu/store to /boot/grub <davexunit>now, guix system reconfigure is being weird, but I can probably figure that out <davexunit>I imported (gnu system linux-initrd) but it tells me that base-initrd is undefined, weird. <DusXMT>davexunit: The ability to add kernel modules to the initrd is quite new, it's probably not in the guix that ships with guix <mark_weaver>davexunit: I remember some doc telling me to write 'base-init', but now I can't remember where it was. <mark_weaver>davexunit: did you have any luck getting wireless to work, btw? <davexunit>mark_weaver: haven't tried. I just got it to boot and I've been doing other work since. <mark_weaver>I added the wpa_supplicant and isc-dhcp packages, but something went wrong with the wireless authentication. <DusXMT>yeah, I'm experiencing something similar <DusXMT>and my wireless card works with linux-libre <davexunit>mark_weaver: I had to transpose the modules given in the #:extra-modules list otherwise I got an error that functions like achi_init_controller couldn't be found. <mark_weaver>when I ran wpa_supplicant with -d, I saw a "file not found" error message during an attempt to set the key. <DusXMT>mark_weaver: exactly the same error <mark_weaver>the same wpa_supplicant package works on my other machine (which is not pure guix). <mark_weaver>I wonder if it's trying to call out to wireless-tools. I have that installed on the machine that works, but not on the machine that doesn't. <davexunit>oh, give that a shot. if it works, would that mean we just have to add wireless-tools as a propagated input? <mark_weaver>no time to try it now though. I'm going to be otherwise engaged for the next 24 hours or so. <mark_weaver>davexunit: if wpa-supplicant does try to run executables from wireless-tools, then it should probably use the absolute pathname in /gnu/store/* to run them, in which case it wouldn't have to be a propagated input. <mark_weaver>davexunit: the first thing to try would simply be to add wireless-tools to the base system, and see if that helps. that might not be the problem at all.... <davexunit>build failed: builder does not have permission to /gnu/store <mark_weaver>yeah, I ran into the same problem. chmod 1775 /gnu/store <davexunit>yeah, just did that. I wonder how to make the installation procedure get that right <davexunit>I'm guessing ludo didn't run into this on his machine. <DusXMT>I've noticed that there's no xinit in the repository. I wrote a dirty little script to start it: http://pastebin.com/tXM8uFr8 (warning: very dirty, probably insecure, and requires root) <davexunit>DusXMT: oh, cool. have you tried using the slim service? that is what's used on the demo-os.scm vm image