<buenouanq>I should really make an effort to better understand and try all the features of guix ( ._.)
<ryanwatkins>buenouanq: that was brilliant, one guix package --roll-back was enough it seems!
<ryanwatkins>buenouanq: likewise, I have the manual up at times, I will read through it all eventually, I promise you based computer science god :D
<solene>nckx: I tried your iso on my laptop which doesn't supported 0.13 release, it boots. During the boot process it hangs for 1 or 2 minutes then I get the keyboard, and it screams about some pci device. I didn't tried to install it yet
<wigust>sneek: later tell magnicida I think local nixpkg checkout is the only way. As (info "(guix) Invoking guix import") says `guix import nix ~/path/to/nixpkgs libreoffice`. You are using ~/path/to/nixpkgs/default.nix as I see.
<Apteryx>Hello Guix! Could someone recommend a GPU which would be good for at least 2 DVI/HDMI output and work with linux-libre (no blob)?
<Apteryx>It needs to be a card (can't be integrated intel), as I don't want to change the motherboard/CPU.
<civodul>ACTION has integrated Intel & doesn't know what to recommend
<solene>apteryx : is it possible to buy 2 cards ? :)
<Apteryx>solene: Yes, although that's suboptimal :)
<solene>if you don't need a powerful GPU, you can buy a low-end card with 2 outputs. I don't know if nvidia is better supported than amd cards with free drivers. I think that currently they both works correctly. I have been using nvidia cards with nouveau a few times ago and it worked well
<solene>nckx: yes, on my work laptop I still have the problem with the screen and nothing booting at all, but I tried another linux distro and it does the same thing. I think that last times I installed my laptop, I used a virtual cd emulator in usb (it's an external hard drive case which can emulate an optical drive from ISO on the disk)
<Apteryx>solene: I have an nvidia Quadro NVS 295 at work, it's like a 40 USD card. It has two outputs (DisplayPort) and works with Nouveau. The video was very bad (flickering, dropping completely), but that might be due to my requirement to use DisplayPort -> DVI adapters since the panels don't have DisplayPort inputs...
<nckx>solene: Interesting. Hm. You didn't mention the other image. Did it not work?
<Apteryx>I'll try to find a panel with DisplayPort input so that I can test without the adapters. I hope it would be just the adapters fault!
<Apteryx>civodul: Thanks anyway! Sad things is that Intel seems to be going with blobs for their next high gen integrated GPU solutions (I've not researched that carefully but saw this a couple places on the web)
<solene>nckx: I'll explain from beginning :) I have 2 laptops. None boot with 0.13. With your latest image from yesterday, one boots. But in fact, the one that never boots (my workstation) seems to not like usb boot
<solene>apteryx : I'm not sure your problem is due to the converter
<solene>maybe, if you can afford, try a 40$ amd card ?
<Apteryx>Right. Will do a couple more experiments today and see. Thanks for the tips!
<atw>I'm also looking for hardware recs in general. Is integrated intel good with free drivers etc? What about wifi chipsets? I'm thinking about getting an xps 13 and replacing its wifi card with one from thinkpenguin.
<jonsger>atw: you should have a detailed look on form factor of the wifi-card in the xps13. because there are a lot
<ng0>my personal experience with intel wifi in Lenovo X + T Series (with the non-free linux+firmware) is that (some) Intel Cards as used by Lenovo are uber crap, but that's possibly a Lenovo thing as I've read.
<lfam>Ah, nvm, I see you are using `guix system vm`, which handles the QEMU invocation for you
<lfam>I have to go soon and thus can't help debug, but I would inspect the generated QEMU invocation (in run-vm.sh) to see if the virtual console is somehow broken. In that case, the agetty-service could provide a login prompt on the serial console.
<lfam>This sort of thing should definitely "just work" though
<cbaines>It's possibly just me being impatient, the system is still starting services, just slowly, maybe the login one is near the end of the queue
<cbaines>I'll try throwing more cores at it, and, well, being patient
<cbaines>While I'm here, is there an easy way of using QEMU in a way that provides access via a shell, but allows scrolling back through the output?
<cbaines>say, running it in a terminal with the output there, but still being able to login and poke around
<cbaines>I've seen that the system tests that Guix runs output to the terminal, but I'm not sure about the login bit
<civodul>you can use "-serial stdio" and append "console=ttyS0" to the kernel command-line
<civodul>and you should still get a window with 'login' runnin on each tty
<cbaines>for some reason, when I try those options, I end up in the early boot Guile...
<cbaines>this may hint at why "no boot file passed via '--load'"
<rekado_>In that case you should use the agetty service, though, no?
<rekado_>on actual hardware there is no prompt when using mingetty
<civodul>cbaines: that's because you must *append* to the kernel command-line, not replace it
<rekado_>cbaines: you can take a look at the configuration file for berlin.guixsd.org in the maintenance repository.
<rekado_>it is configured with serial console support.
<lfam>I'm so happy to see the agetty-service used :)
<cbaines>civodul, I'm using -append console=ttyS0 but I guess that is not working
<cbaines>the full qemu-system-x86_64 invocation already contains -append
<rekado_>cbaines: “console=ttyS0” is to be appended to the kernel args, not to qemu
<civodul>cbaines: the second "-append" overrides the first one