diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2021-11-30 21:01:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-30 21:01:35 +0100 |
| commit | 1a9bfdc4ca0c2786b02801540432badbafa3a811 (patch) | |
| tree | dfd4a354e1802e95120ddd98e82b9f18102d65ba /doc/manual | |
| parent | d22ce8b68d78f2c30ac21b0dbcfd78259596f9a8 (diff) | |
| parent | 092c375cda9efc24f9a3d6b56d818792406b232b (diff) | |
Merge pull request #5690 from efx/document-jargon
docs: document set theory symbols
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/src/glossary.md | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/manual/src/glossary.md b/doc/manual/src/glossary.md index bb350d9de..71ff13275 100644 --- a/doc/manual/src/glossary.md +++ b/doc/manual/src/glossary.md @@ -47,7 +47,7 @@ the store object at `P` contains the path `Q` somewhere. The *references* of a store path are the set of store paths to which it has a reference. - + A derivation can reference other derivations and sources (but not output paths), whereas an output path only references other output paths. @@ -66,7 +66,7 @@ is necessary to deploy whole closures, since otherwise at runtime 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 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`. @@ -98,3 +98,7 @@ store. It can contain regular files, directories and symbolic links. NARs are generated and unpacked using `nix-store --dump` and `nix-store --restore`. + - `∅` \ + The empty set symbol. In the context of profile history, this denotes a package is not present in a particular version of the profile. + - `ε` \ + The epsilon symbol. In the context of a package, this means the version is empty. More precisely, the derivation does not have a version attribute. |