Subject: [patch] Explain how to exit and clean up a guix environment

From: Lee Fallat <[email-masked]>
Date: Fri, 12 Feb 2021 19:35:04 -0500

I accidentally sent the patch to the wrong mailing list and was pointed
to this one (thanks Tobias!).

I've attached the patch to this email as well (this time using git
format-patch instead of git diff -u).
From 607c3af436c80744acf8a878c19e191d82f6cdda Mon Sep 17 00:00:00 2001
From: Lee <[email-masked]>
Date: Fri, 12 Feb 2021 16:44:56 -0500
Subject: [PATCH] Explain how to exit and clean up a guix environment

The current documentation doesn't explain how to exit an environment or how to
remove the packages after exiting.
---
 doc/guix.texi | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/guix.texi b/doc/guix.texi
index 68abb968b0..e7c55e00da 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -5558,6 +5558,10 @@ they should be defined in @file{.bash_profile}, which is sourced only by
 log-in shells.  @xref{Bash Startup Files,,, bash, The GNU Bash Reference
 Manual}, for details on Bash start-up files.}.
 
+Exiting from a guix environment is the same as exiting from the shell, and will
+place the user back in the old enviroment before @command{guix enviroment} was
+invoked. To clean up packages which were installed invoke @command{guix gc}.
+
 @vindex GUIX_ENVIRONMENT
 @command{guix environment} defines the @env{GUIX_ENVIRONMENT}
 variable in the shell it spawns; its value is the file name of the
-- 
2.30.0