aboutsummaryrefslogtreecommitdiff
path: root/doc/manual
AgeCommit message (Collapse)Author
2022-08-04Fix rel path in docJohn Ericson
2022-08-04reword details on keeping closure propertyValentin Gagarin
2022-08-04add motivation for referencesValentin Gagarin
2022-08-04stores can also delete objectsValentin Gagarin
2022-08-04formalize file system objectsValentin Gagarin
convention: describe every data type in prose, and illustrate with a class diagram, and a textual representation of an abstract data type. right now we save ourselves the trouble of doing class diagrams, we can add them later. but they are important.
2022-08-04reword section on referencesValentin Gagarin
use file Contents instead of Data, as that flows more naturally in the prose. simplify explanation of the idea behind scanning for store paths remove references to unfinished sections.
2022-08-04reword file system objectsValentin Gagarin
- use singular for the "class" - more consistency in type definition - minor fixes in wording
2022-08-04move git comparison to related workValentin Gagarin
it should be pulled out of the branch before we go for merging
2022-08-04component -> store object, realisation -> buildValentin Gagarin
2022-08-04build instrcution: Task -> functionValentin Gagarin
2022-08-04revert build plan/step distinction, reorder rowsValentin Gagarin
2022-08-04reword introduction to rosetta stone, add linksValentin Gagarin
attempt to explain used and documented terminology, as well as how the declarative programming paradigm relates to building software. in the future one could highlight encouraged terms to shape future material into higher consistency.
2022-08-04associated operations are not collectedValentin Gagarin
Co-authored-by: John Ericson <git@JohnEricson.me>
2022-08-04fix grammarValentin Gagarin
Co-authored-by: John Ericson <git@JohnEricson.me>
2022-08-04add concrete store examples, reword note on file systemValentin Gagarin
2022-08-04reword section on Nix storeValentin Gagarin
2022-08-04design -> architecture, add motivationValentin Gagarin
following ideas found in Architecture of Gazelle[1] [1]: https://github.com/bazelbuild/bazel-gazelle/blob/56d35f8db086bb65ef876f96f7baa7b71516daf8/Design.rst
2022-08-04address Nix language consistently as configuration languageValentin Gagarin
2022-08-04remove separate meta-section, add architecture diagramValentin Gagarin
the diagram is a first approximation and only covers that same section. of course there is much more going on, and other features should at some point also be illustrated. we also have to think about presentation format and technicalities behind it. the manual has to render to `man`, but we may want something more refined for web view.
2022-08-04reword introductory sectionValentin Gagarin
there should be a meta section for each chapter to give motivation of the presented structure. the structure itself is visible from the table of contents.
2022-08-04remove sentence for chapter transitionValentin Gagarin
idea: sections could be read in different orders by linking them in different ways (e.g. depth-first or breadth-first). adding hard-coded transitions makes that confusing.
2022-08-04Apply suggestions from code reviewJohn Ericson
Co-authored-by: Valentin Gagarin <valentin@fricklerhandwerk.de>
2022-08-04do not mention implementation detailsValentin Gagarin
Co-authored-by: John Ericson <git@JohnEricson.me>
2022-08-04correctly use comma for nestingValentin Gagarin
Co-authored-by: John Ericson <git@JohnEricson.me>
2022-08-04indicate sequence with "then"Valentin Gagarin
Co-authored-by: John Ericson <git@JohnEricson.me>
2022-08-04only use generic build system terminologyValentin Gagarin
we will use a translation table to introduce nix-specific terms
2022-08-04reword overview with clear terminologyValentin Gagarin
trying to capture alternative terms in one go here, mirroring everyday use: derivation - build plan realise - execute build there will be more of that sort.
2022-08-04Add draft "Rosetta stone" by @fricklerhandwerk and stub commentaryJohn Ericson
The idea and most of the execution are @fricklerhandwerk's. I changed a few things best I could based on @edolstra's corrections, and a Bazel glossary. Valentin Gagarin <valentin@fricklerhandwerk.de>
2022-08-04Make refernces sneak preview more conciseJohn Ericson
2022-08-04Improve store objects session moreJohn Ericson
2022-08-04Include abstract syntax based on the thesis for FSOsJohn Ericson
See https://edolstra.github.io/pubs/phd-thesis.pdf, page 91.
2022-08-04store objects, better opining sentancesJohn Ericson
2022-08-04Improve store path sectionJohn Ericson
2022-08-04Relocability -> relocation in store object titleJohn Ericson
2022-08-04Improve store object sectionJohn Ericson
In particular, Nix is *not* like Git, so that needs to be fixed.
2022-08-04doc: File system data -> file system object, to match NixJohn Ericson
2022-08-04Rename files after store entry -> store object renameJohn Ericson
2022-08-04doc: Store entry -> store objectJohn Ericson
This matches the terminology in Eelco's thesis.
2022-08-04Update doc/manual/src/design/store/drvs/drvs.mdJohn Ericson
Co-authored-by: Matthieu Coudron <teto@users.noreply.github.com>
2022-08-04Update doc/manual/src/design/overview.mdJohn Ericson
Co-authored-by: Valentin Gagarin <valentin@fricklerhandwerk.de>
2022-08-04Update doc/manual/src/design/overview.mdJohn Ericson
Co-authored-by: Valentin Gagarin <valentin@fricklerhandwerk.de>
2022-08-04Update doc/manual/src/design/overview.mdJohn Ericson
Co-authored-by: Valentin Gagarin <valentin@fricklerhandwerk.de>
2022-08-04Fix stub file's nameJohn Ericson
2022-08-04Start on the derivations sectionJohn Ericson
2022-08-04Move the bits on relocating store entires to the endJohn Ericson
They are too advanced for up front.
2022-08-04Apply suggestions from code reviewJohn Ericson
2022-08-04Flesh out TOCJohn Ericson
2022-08-04Briefly describe the digest of a store pathJohn Ericson
2022-08-04WIP: Document the design of NixJohn Ericson
The current docs are all "how to do things" and no "what is Nix" or "why are things the way they are". I see lots of misconception on the wider internet, and I also think we would benefit from a "living document" to answer some questions people currently turn to the thesis for. I think a new section of the manual can address all these issues.
2022-08-03Merge pull request #6846 from fricklerhandwerk/valuesThéophane Hufschmitt
manual: use subheadings for primitive types