aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/src/glossary.md
diff options
context:
space:
mode:
authorValentin Gagarin <valentin.gagarin@tweag.io>2023-01-05 15:34:18 +0100
committerValentin Gagarin <valentin.gagarin@tweag.io>2023-01-17 12:29:45 +0100
commit59f03437c2015259c228a4926e1e2f484dfa505b (patch)
tree53cdd17a54874ab7bf6e43cb93b34e32be04a4c3 /doc/manual/src/glossary.md
parentbc9de373c7dc6c84e90e06dff477d4b44b8f653d (diff)
references refer to store objects, not paths
as noted by @Ericson2314
Diffstat (limited to 'doc/manual/src/glossary.md')
-rw-r--r--doc/manual/src/glossary.md10
1 files changed, 6 insertions, 4 deletions
diff --git a/doc/manual/src/glossary.md b/doc/manual/src/glossary.md
index 538db7230..cf0cf2294 100644
--- a/doc/manual/src/glossary.md
+++ b/doc/manual/src/glossary.md
@@ -115,10 +115,12 @@
then be built.
- [reference]{#gloss-reference}\
- A [store path] `P` is said to have a *reference* to a store path `Q` if the string `Q` appears in the [store object] at `P`.
- The *references* of a store path `P` are the set of store paths to which `P` has a reference.
+ A [store object] `O` is said to have a *reference* to a store object `P` if the [store path] of `P` appears in the contents of `O`.
+ The *references* of a store object `O` are the set of store objects to which `O` has a reference.
- A [derivation] can reference other derivations and source files, but not [output path]s, whereas an output path can only reference other output paths.
+ Source files have no references.
+ A [store derivation] can only reference source files and other store derivations, including itself.
+ In contrast, a store object that was produced from a [derivation] can only reference other "derived" store objects.
[reference]: #gloss-reference
@@ -137,7 +139,7 @@
files could be missing. The command `nix-store -qR` prints out
closures of store paths.
- As an example, if the store object at path `P` contains a reference
+ As an example, if the store object at path `P` contains a [reference]
to path `Q`, then `Q` is in the closure of `P`. Further, if `Q`
references `R` then `R` is also in the closure of `P`.