From 607c3af436c80744acf8a878c19e191d82f6cdda Mon Sep 17 00:00:00 2001 From: Lee 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