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

[Lee Fallat <inbox@leefallat.ca>]

[-- Attachment #1: Type: text/plain, Size: 438 bytes --]

Hey,

It'd be useful to explicitly state how to do this. While my guess of
exiting the shell (or ctrl-d) was correct, not everyone will know!

Also there are people like myself who like to reduce storage usage if
possible on machines which don't have much, like on netbooks or ultra-
books. I've mentioned how to remove packages after exiting from the
environment.

I hope I'm submitting this patch correctly, if not let me know!

-- Lee

[-- Attachment #2: guix_environment_exit_and_clean.patch --]
[-- Type: text/x-patch, Size: 808 bytes --]

diff --git a/doc/guix.texi b/doc/guix.texi
index 68abb968b0..83a8205e2e 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -5558,6 +5558,11 @@ 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 remove the packages which were installed by @command{guix
+environment}, the garbage collector must be invoked using @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