From 6094867053604fd911d2f71f4ce03c173dc5256a Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Sat, 2 Nov 2019 08:43:57 -0700
Subject: unify nix entrypoints to default.nix

---
 README.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'README.md')

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
-- 
cgit v1.2.3