diff options
author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-06-14 22:49:58 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-14 20:49:58 +0000 |
commit | a1cf16563f681b5cb3026f2bbca629996ed36d86 (patch) | |
tree | 2c6290ba778609b06445a758cbdfe8303ce1f3fd /doc | |
parent | 05eb06a1deffba33c5f0012822c1a6d8832e5b49 (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.md | 7 |
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 |