On Mon, Sep 24, 2018 at 23:05:17 +0200, Ricardo Wurmus wrote:
> Open the developer console and switch to the Style Editor tab. On
> github.com you’ll see a bunch of CSS files with a note under each saying
> “0 rules”. To the right you see the CSS sources. Now add a space
> character (or make som
Ludo', Guix,
Ludovic Courtès wrote:
Ricardo Wurmus skribis:
“certbot” can be used with manual DNS validation, which
requires us to deploy a DNS TXT record. This can be automated
with
certbot hooks (scripts that have access to the token that
should be
published via environment variables) or
Pierre Neidhardt skribis:
>> Currently, the manual shown on guix.info is fairly close to the latest
>> in git. This means it contains documentation about channels, which
>> cannot be found in the latest release that matches the manual on
>> gnu.org.
>
> This is crucial, I believe. I believe. "
Hello!
Ricardo Wurmus skribis:
> Ludovic Courtès writes:
[...]
>> I wonder what should be done with guix.info: should we keep it as a
>> mirror, or should it redirect to gnu.org, or the opposite?
>
> I really don’t know. I didn’t plan for guix.info to become popular, but
> it certainly is co
