IRC channel logs

<Noisytoot>guix pull is failing: https://x0.at/7tM7.txt

<Noisytoot>I don't know what to do about it since I can't update guix to fix it without guix pull

<ieure>Noisytoot, `guix pull --roll-back'

<ieure>Or switch to some other working generation of guix.

<trev>would someone be able to add the appropriate team tag here please? https://codeberg.org/guix/guix/pulls/8648

<ieure>I would if I knew which team that was.

<ieure>For your consideration: https://codeberg.org/guix/guix/pulls/8961

<Guest58>hi. could anyone look at my services list? still trying to use the openvpn plugin but get an error: `Wrong type in position 1` here is the paste:https://paste.debian.net/hidden/f8094247

<elb>I want to thank you all for being here, I've been fighting authenticating my own channel for hours, and in trying to type it up concisely to ask about it, I found my bug. ;-)

<ieure>elb, The number of times I've done that...

<elb>ieure: when I get desperate enough to come to IRC, it works like 3 times out of 5, probably ;-)

<elb>which just goes to show I should be better at keeping scientific notebook style logs as I work, probably

<Guest58>still working on getting openvpn to work. here is the paste again if someone missed it:https://paste.debian.net/hidden/f8094247

<Icy-Thought>is toys down ?

<Icy-Thought>damn...

<waffles2>so during install for guix im getting the selected network does not seem to provide internet access. im guessing i have libreboot which doesnt have a hardware clock

<waffles2>ifconfig shows i have an ethernet connection

<stephen0>can you ping anything?

<waffles2>no

<stephen0>I had an issue where it took a while for the installer to accept a connection, but I could at least ping stuff.

<stephen0>You have an ip?

<waffles2>yes

<stephen0>does your default route look good? `ip r l`

<waffles2>i dont see that in ifconfig

<stephen0>When you tried to ping, did you do it via ip or name?

<stephen0>It's not in ifconfig

<waffles2>ping gnu.org

<stephen0>ip route list is a separate command

<stephen0>try ping 8.8.8.8

<stephen0>Maybe you just lack a nameserver.

<waffles2>yeah i can ping that

<stephen0>you just need a dns server

<waffles2>oh wait nevermind it says destination host unreachable

<stephen0>can you ping your local router?

<stephen0>It's probably .1 off whatever your ip is.

<waffles2>no

<waffles2>but i tried 10.0.0.1 which is my modem

<waffles2>i think i have a libre wifi card can i try setting that up

<waffles2>oh nvm theres no free firmware for it

<waffles2>someone recommended nonguix for internet shenanigans but idk where to get it

<stephen0>weird that you can see you have an ethernet device but that it's not working

<stephen0>generally they dont show up if they're not going to work

<waffles2>how should i go from here

<stephen0>How is it you were trying to connect? wired ethernet?

<waffles2>yeah

<waffles2>apparetly i dont have a libre wifi adapter ill have to get one

<stephen0>Did the link lights come on when you plugged it in?

<waffles2>yes

<stephen0>Did you plug it in before you started the system up?

<waffles2>i have 1 green light 1 blinking yellow light

<waffles2>ye

<stephen0>and ifconfig shows you have an ip address?

<waffles2>yes

<stephen0>that's really weird

<stephen0>try rebooting the installer once and see if it happens again

<Guest27>can the sddm service look for themes in the usr directory? im trying to use a theme from github but for some reason its not detecting it even though i defined in in the service type. heres a paste: https://paste.debian.net/hidden/109b466c

<waffles2>yes i have an ip no i cant ping on reboot

<stephen0>does your ip match the subnet of your router/modem?

<waffles2>oh u know what i have an inet add idk about an ip add

<stephen0>Do you see it when you do: ip -4 a

<waffles2>no i just see a inet

<stephen0>inet addr == ip address

<waffles2>oh ok i have that then

<stephen0>What's the ip address start with?

<waffles2>does it need to be up it says stae unknown

<waffles2>or thats loopback enp0s31f6 is up

<stephen0>loopback wont help

<stephen0>needs to be a real interface

<stephen0>enp0... sounds like a real interface

<stephen0>what does the ip address for enp0s31f6 begin with?

<waffles2>169

<stephen0>ah

<stephen0>169.254.something? Sounds like it didnt get an ip address from your router.

<stephen0>Can you check with some other device on the network to see what it begins with?

<stephen0>I have seen a few dsl providers hand out addresses like that, it's possible it could be real.

<stephen0>If you dont have another adapter you can try, do you have a smart phone that can tether?

IRC channel logs

2026-05-30.log