bug#40037: closed ([PATCH] doc: Document that a working environment for building Guix requires "--pure".)

[GNU bug Tracking System]

Your message dated Tue, 24 Mar 2020 19:26:08 +0100
with message-id <address@hidden>
and subject line Re: [bug#40037] [PATCH] doc: Document that a working 
environment for building Guix requires "--pure".
has caused the debbugs.gnu.org bug report #40037,
regarding [PATCH] doc: Document that a working environment for building Guix 
requires "--pure".
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
40037: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=40037
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] doc: Document that a working environment for building Guix requires "--pure".
>
>
>
>
> Date: 
>
> Thu, 12 Mar 2020 09:57:26 +0100
>
>
>
>
> * doc/guix.texi (Invoking guix environment): Document that a working
> environment for building Guix requires "--pure".
> ---
>  doc/guix.texi | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/doc/guix.texi b/doc/guix.texi
> index dd32b65fe0..b889032207 100644
> --- a/doc/guix.texi
> +++ b/doc/guix.texi
> @@ -4750,7 +4750,7 @@ the following command creates a Guix development 
> environment that
>  additionally includes Git and strace:
>  
>  @example
> -guix environment guix --ad-hoc git strace
> +guix environment --pure guix --ad-hoc git strace
>  @end example
>  
>  Sometimes it is desirable to isolate the environment as much as
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#40037] [PATCH] doc: Document that a working environment for building Guix requires "--pure". Date: Tue, 24 Mar 2020 19:26:08 +0100

Thanks!

Pushed to guix master as commit be743fc0fd1253b5f824cdee38b0b110ef10273b.

pgpwWa9tlcHY5.pgp
Description: OpenPGP digital signature

--- End Message ---