IRC channel logs
2026-09-15.log
back to list of logs
<kestrelwx>Heterochromium: `guix pull` crashing was fixed since, I believe. <Heterochromium>kestrelwx: Good to know. But if `guix pull` crashes, how am I supposed to update Guix to get beyond that bug? <sham1>If you have a revision before that doesn't crash, you can time-machine there and then pull <apteryx>can't git fetch from codeberg; is it just me? <apteryx>wait, probably my ongoing pinentry issues... <apteryx>it doesn't reliably show from emacs, but does from a terminal emulator <lechner>apteryx: Maybe that's because gpg for a while emitted a warning about being a development version, which is now gone. <apteryx>ah maybe, I haven't reconfigured in a while <apteryx>are there examples today of system services also extending the user home? <apteryx>interesting, (info "(guix) Guix Services") shows it can be extended, but I'd need to either have the user specify which users' it should extend, or extend them all <bavier>darn, I guess I missed discussions of removing our idris package <lechner>I think it follows a simple policy. They also kicked out heimdal. <apteryx>bavier: you have to follow closely the 'deprecation' tagged PRs in codeberg, or react after ;-) <bavier>apteryx: makes sense. I was just coming back to some idris after a break, and haven't been following along on many PRs. <jlicht>I'd like to (probably again) express my admiration (and gratitude) for everyone who worked directly or indirectly on the cargo importer; it is simply 🤌 <jlicht>(cheff's kiss emoji, for folks who see a fancy UTF-8 box)