summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-06-14 15:06:53 +0200
committerLudovic Courtès <ludo@gnu.org>2020-06-14 15:34:42 +0200
commit993023a28e52c87647fb78a5aa94a524f42ceb71 (patch)
tree96ac647a62225501c09c46f53841aabe9789e8d5 /doc
parent9acac9f9c6452cd76a21e52c7e5a33e8384b82b4 (diff)
downloadguix-993023a28e52c87647fb78a5aa94a524f42ceb71.tar.gz
lint: Add 'check-for-collisions' checker.
Suggested by Edouard Klein <edk@beaver-labs.com>.

* guix/profiles.scm (check-for-collisions): Export.
* guix/lint.scm (check-profile-collisions): New procedure.
(%local-checkers): Add 'profile-collisions' checker.
* tests/lint.scm ("profile-collisions: no warnings")
("profile-collisions: propagated inputs collide")
("profile-collisions: propagated inputs collide, store items"): New tests.
* doc/guix.texi (Invoking guix lint): Document it.
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi7
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index aeeea7896e..333dd703de 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -9957,6 +9957,13 @@ autogenerated tarballs are sometimes regenerated.
 Check that the derivation of the given packages can be successfully
 computed for all the supported systems (@pxref{Derivations}).
 
+@item profile-collisions
+Check whether installing the given packages in a profile would lead to
+collisions.  Collisions occur when several packages with the same name
+but a different version or a different store file name are propagated.
+@xref{package Reference, @code{propagated-inputs}}, for more information
+on propagated inputs.
+
 @item archival
 @cindex Software Heritage, source code archive
 @cindex archival of source code, Software Heritage