summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2013-09-27 01:26:26 +0200
committerLudovic Courtès <ludo@gnu.org>2013-09-27 01:26:26 +0200
commit1bb9900a2a2fccfca3aa2ebb26dcc20095d230e5 (patch)
tree46e88232870822cd64a308ec0275af571de3d6ca
parentd7ddb257c9d22c794d6b26af64a57901ccee71e0 (diff)
doc: Link from "guix gc" to '--delete-generations'.
* doc/guix.texi (Invoking guix package): Mention that deleting generations prevents roll-back. (Invoking guix gc): Link to '--delete-generations'.
-rw-r--r--doc/guix.texi9
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 29928c5af41..94658f2b21f 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -730,6 +730,9 @@ If the current generation matches, it is deleted atomically---i.e., by
730switching to the previous available generation. Note that the zeroth 730switching to the previous available generation. Note that the zeroth
731generation is never deleted. 731generation is never deleted.
732 732
733Note that deleting generations prevents roll-back to them.
734Consequently, this command must be used with care.
735
733@end table 736@end table
734 737
735@node Packages with Multiple Outputs 738@node Packages with Multiple Outputs
@@ -797,6 +800,12 @@ deleted. The set of garbage collector roots includes default user
797profiles, and may be augmented with @command{guix build --root}, for 800profiles, and may be augmented with @command{guix build --root}, for
798example (@pxref{Invoking guix build}). 801example (@pxref{Invoking guix build}).
799 802
803Prior to running @code{guix gc --collect-garbage} to make space, it is
804often useful to remove old generations from user profiles; that way, old
805package builds referenced by those generations can be reclaimed. This
806is achieved by running @code{guix package --delete-generations}
807(@pxref{Invoking guix package}).
808
800The @command{guix gc} command has three modes of operation: it can be 809The @command{guix gc} command has three modes of operation: it can be
801used to garbage-collect any dead files (the default), to delete specific 810used to garbage-collect any dead files (the default), to delete specific
802files (the @code{--delete} option), or to print garbage-collector 811files (the @code{--delete} option), or to print garbage-collector