summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md13
1 files changed, 8 insertions, 5 deletions
diff --git a/README.md b/README.md
index 355a12e..378ea86 100644
--- a/README.md
+++ b/README.md
@@ -15,11 +15,14 @@ well-defined. Likewise, the functionality and purpose of a particular namespace
should be small and well-defined. Following the unix principle of "do one thing
and do it well" is advised.
-Namespaces refer to conceptual boundaries. Implementations can be in any number
-of languages, indicated by the file extension. For example, we can have
-`com.example.api.hs` and `com.example.api.scm` in order to have an API client in
-both Haskell and Scheme. Building `com.example.api` should compile both pieces
-of code.
+To build code, do:
+
+ nix build -f default.nix <thing>
+
+Deploy:
+
+ nix copy --to ssh://root@simatime.com ./result
+ ssh root@simatime.com $(realpath ./result)/bin/switch-to-configuration switch
# Goals of the developer workflow: