diff options
author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-01-05 15:34:18 +0100 |
---|---|---|
committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-01-17 12:29:45 +0100 |
commit | 59f03437c2015259c228a4926e1e2f484dfa505b (patch) | |
tree | 53cdd17a54874ab7bf6e43cb93b34e32be04a4c3 /doc/manual/src/glossary.md | |
parent | bc9de373c7dc6c84e90e06dff477d4b44b8f653d (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.md | 10 |
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`. |