GNU bug report logs - #53611
[PATCH] doc: Document --profile option to "guix environment"

Previous Next

Package: guix-patches;

Reported by: Konrad Hinsen <konrad.hinsen <at> fastmail.net>

Date: Fri, 28 Jan 2022 18:11:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

Message #10 received at 53611-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Konrad Hinsen <konrad.hinsen <at> fastmail.net>
Cc: 53611-done <at> debbugs.gnu.org
Subject: Re: bug#53611: [PATCH] doc: Document --profile option to "guix
 environment"
Date: Mon, 31 Jan 2022 23:49:39 +0100

Konrad Hinsen <konrad.hinsen <at> fastmail.net> skribis:

> * doc/guix.texi (Invoking guix environment): New paragraph.

Applied as well, thanks!
This bug report was last modified 3 years and 170 days ago.

Previous Next

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