doc: Document --profile option to "guix shell"

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

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
Konrad Hinsen 2022-01-28 18:59:27 +01:00 committed by Ludovic Courtès
parent c355fc5b94
commit cff54cc47c
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -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