Remove old scripts and update README

1 files changed, 4 insertions, 18 deletions

diff --git a/README.md b/README.md
index d8ced5b..ae9f5c1 100644
--- a/README.md
+++ b/README.md
@@ -61,31 +61,17 @@ handle the file. So for example:
 
 ## Development
 
-A user can push code to any branch prefixed by `user/$USER/`. This is
-set in the `gitolite-admin` repo which everyone with an account should
-have read access to. This is also where your git ssh key is set.
-
 To build code, do:
 
-    nix build -f default.nix <thing>
+    bild <ns>
 
-To get in the environment for a thing, use `nix run`. For example, if
-you want `ghci` with packages for `ibb`, do this:
+To get in the environment for a thing, `repl`:
 
-    nix run -f default.nix Com.InfluencedByBooks.Server.env && ghci
+    repl <ns>
 
 And to deploy:
 
-    nix copy --to ssh://root@simatime.com ./result
-    ssh root@simatime.com $(realpath ./result)/bin/switch-to-configuration switch
-
-These three common tasks are captured in the `./bild`, `./ghci`, and
-`./push` scripts.
-
-There's also a prototype `./rise` script which builds and runs an app. I
-use it like:
-
-    ag -l | entr -r ./rise Com.InfluencedByBooks
+    push <ns> <url>
 
 TODO: document how we use the following: