GNU bug report logs - #39418
[PATCH] doc: Improve documentation on Substitute Server Authorization

Previous Next

Full log

View this message in rfc822 format

From: Leo Famulari <leo <at> famulari.name>
To: Damien Cassou <damien <at> cassou.me>
Cc: 39418 <at> debbugs.gnu.org
Subject: [bug#39418] [PATCH] doc: Improve documentation on Substitute Server Authorization
Date: Tue, 4 Feb 2020 19:42:42 -0500

On Tue, Feb 04, 2020 at 03:18:03PM +0100, Damien Cassou wrote:
> * doc/guix.texi (Substitute Server Authorization): Explain that this is the
> absence of the .drv file extension that indicates a proper setup.

> -This indicates that substitutes from @code{@value{SUBSTITUTE-SERVER}} are usable and
> -will be downloaded, when possible, for future builds.
> +The absence of the @file{.drv} file extension indicates that substitutes
> +from @code{@value{SUBSTITUTE-SERVER}} are usable and will be downloaded,
> +when possible, for future builds.

The text "would be downloaded" is what indicates that substitutes are
working.

It's in contrast to the text from the previous example "The following
derivations would be built".

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.