[PATCH] doc: Document --profile option to "guix shell"

  • Done
  • quality assurance status badge
Details
2 participants
  • Konrad Hinsen
  • Ludovic Courtès
Owner
unassigned
Submitted by
Konrad Hinsen
Severity
normal
K
K
Konrad Hinsen wrote on 28 Jan 2022 18:59
(address . guix-patches@gnu.org)
m1tudnhhc0.fsf@fastmail.net
* doc/guix.texi (Invoking guix shell): New paragraph.
---
doc/guix.texi | 6 ++++++
1 file changed, 6 insertions(+)

Toggle diff (19 lines)
diff --git a/doc/guix.texi b/doc/guix.texi
index 62e994ceb1..92f515df8f 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -5824,6 +5824,12 @@ This is similar to the same-named option in @command{guix package}
(@pxref{profile-manifest, @option{--manifest}}) and uses the same
manifest files.
+@item --profile=@var{profile}
+@itemx -p @var{profile}
+Create an environment containing the packages installed in @var{profile}.
+Use @command{guix package} (@pxref{Invoking guix package}) to create
+and manage profiles.
+
@item --pure
Unset existing environment variables when building the new environment, except
those specified with @option{--preserve} (see below). This has the effect of
--
2.34.0
L
L
Ludovic Courtès wrote on 31 Jan 2022 23:48
(name . Konrad Hinsen)(address . konrad.hinsen@fastmail.net)(address . 53610-done@debbugs.gnu.org)
87v8xz8qsx.fsf@gnu.org
Hi,

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

Toggle quote (2 lines)
> * doc/guix.texi (Invoking guix shell): New paragraph.

Applied, thanks!

Ludo’.
Closed
?