aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorValentin Gagarin <valentin.gagarin@tweag.io>2023-06-14 22:49:58 +0200
committerGitHub <noreply@github.com>2023-06-14 20:49:58 +0000
commita1cf16563f681b5cb3026f2bbca629996ed36d86 (patch)
tree2c6290ba778609b06445a758cbdfe8303ce1f3fd /doc
parent05eb06a1deffba33c5f0012822c1a6d8832e5b49 (diff)
Fixup description of substituters (#8291)
Introduce what substituters "are" in the configuration option entry. Remove arbitrary line breaks for easier editing in the future. Link glossary some more. Co-authored-by: Robert Hensing <roberth@users.noreply.github.com> Co-authored-by: John Ericson <git@JohnEricson.me>
Diffstat (limited to 'doc')
-rw-r--r--doc/manual/src/glossary.md7
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/manual/src/glossary.md b/doc/manual/src/glossary.md
index e142bd415..47a484826 100644
--- a/doc/manual/src/glossary.md
+++ b/doc/manual/src/glossary.md
@@ -112,9 +112,10 @@
from some server.
- [substituter]{#gloss-substituter}\
- A *substituter* is an additional store from which Nix will
- copy store objects it doesn't have. For details, see the
- [`substituters` option](./command-ref/conf-file.md#conf-substituters).
+ An additional [store]{#gloss-store} from which Nix can obtain store objects instead of building them.
+ Often the substituter is a [binary cache](#gloss-binary-cache), but any store can serve as substituter.
+
+ See the [`substituters` configuration option](./command-ref/conf-file.md#conf-substituters) for details.
[substituter]: #gloss-substituter