<dthompson>I tried to follow the instructions in the "using virt-viewer with spice" section of the manual but clipboard sharing doesn't work when I do that.
<gnucode>lechner: don't trouble yourself too much trying to help me. I've got another server up and running and working. I am just starting this server from scratch. So figuring it out all over again....
<dthompson>so I figured I'd ask about it in case anyone here just happens to have a script of their own that works for them.
<lechner>as a group we are very effective at communicating issues. we come from all walks of life. there is bound to be some misunderstanding. we should devote more time to the human elements of our cooperation
<mirai>tbh certbot shouldn't touch nginx if the challenge field is something other than "http-01"
<mirai>a trivial change of whether or not should a service-extension be cons'd
<gnucode>lechner: I feel like ya'll do a pretty good job of encouraging polite communication. Certainly much better than some libre projects. Also, what do you do with that server? Seems to be doing a lot.
<lechner>not nearly enough. my isp just opened port 25!
<mirai>integrating certbot with knot, etc. sounds like a recipe for combinatorial pain
<mirai>civodul: certbot using the activation-service-type here would be called for (in the context of running after a system reconfigure)
<mirai>it would run the renew certificate script (it's idempotent unless the permissions are out of whack, which is not relevant)
<mirai>and you could make nginx service depend on certbot having finished running the certificate script (you could do it unconditionally by having the script symlinked to 'true' if no certbot service exists, a dummy service, etc.)
<neox>Hello there. Is there any alternative to the traditional plugdev group in guix system ?
<akonai>mirai: you would still need nginx to serve http-01, and that would be problematic if you already have an nginx service running
<mirai>akonai: hmmm... for http-01 cases, you could do some dancing around