03/06: doc: Document --profile option to "guix shell"

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit cff54cc47ce431802722ce12182c40f9e4334cee
Author: Konrad Hinsen <konrad.hinsen@fastmail.net>
AuthorDate: Fri Jan 28 18:59:27 2022 +0100

    doc: Document --profile option to "guix shell"
    
    * doc/guix.texi (Invoking guix shell): New paragraph.
    
    Signed-off-by: Ludovic Courtès <ludo@gnu.org>
---
 doc/guix.texi | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/guix.texi b/doc/guix.texi
index c3f36d37ff..8cc0c45e05 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