IRC channel logs

2023-09-15.log

back to list of logs

<zimoun>hi!
<civodul>o/
<civodul>zimoun: guess what… the workshop announcement for guix-science had remained in my draft folder for a week
<civodul>i just realized that
<civodul>here “touch guix.scm” leads ‘guix shell’ to invalidate its cache
<zimoun>civodul: hehe! it rings me my bell (send an email to speakers withtout CC them :-D)
<civodul>yup
<civodul>plus ECHAN on the message above, grr
<rekado>substitutes.guix.psychnotebook.org is still online but now has an expired certificate
<rekado>I just learned that we can’t just use --substitute-urls='http://… http://… http://…' in a systemd ExecStart line
<rekado>the single quotes are now stripped
<rekado>they need to be replaced with the string “\x27”
<civodul>rekado: i think it’s different
<civodul>IIRC, you have to write: '--substitute-urls=A B'
<civodul>with the quotes around the whole thing
<rekado>ah, that explains this error I just got… :)
<rekado>used to work about a year ago, though
<rekado>(without escaping and all that)
<PurpleSym>rekado: I cannot using the psychnotebook.org substitute server at this point. I doubt anyone is actively maintaining it.
<PurpleSym>*recommend
<rekado>PurpleSym: yes, that’s what I thought\
<rekado>I’m just revisiting an old project from the before days
<rekado>what’s up with https://guix.bordeaux.inria.fr/jobset/guix-science ?
<rekado>lots of scheduled builds, but none successful
<civodul>rekado: apparently the cuirass-remote-worker processes had stopped working
<civodul>i’ve restarted them
<civodul> https://guix.bordeaux.inria.fr/workers
<rekado>thanks!
<rekado>re kreuzberg: I don’t know what’s up with it and I had no chance yet to investigate
<civodul>the kreuzberg situation with expiring passwords is very weird since Guix System doesn’t let us set password expiration times in /etc/shadow
<rekado>civodul: some of these machines had clock problems
<civodul>still, how could an expiration time make it in /etc/shadow?
<civodul>it could be that it predates the Guix System installation there, dunno
<civodul>(i guess it had opensuse or some such initially?)
<rekado>no, it’s only ever been Guix System
<rekado>but with the failing disk I had to boot them from USB a few times
<rekado>I may also have set passwords before fixing the system time
<rekado>I don’t remember