unify nix entrypoints to default.nix

1 files changed, 7 insertions, 1 deletions

diff --git a/README.md b/README.md
index 378ea86..df6db66 100644
--- a/README.md
+++ b/README.md
@@ -15,11 +15,17 @@ 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.
 
+# Development
+
 To build code, do:
 
     nix build -f default.nix <thing>
 
-Deploy:
+To get a repl:
+
+    nix run -f default.nix <thing>
+
+And to deploy:
 
     nix copy --to ssh://root@simatime.com ./result
     ssh root@simatime.com $(realpath ./result)/bin/switch-to-configuration switch