Remove old scripts and update README

4 files changed, 4 insertions, 29 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:
 
diff --git a/rise b/rise
deleted file mode 100755
index fb02fab..0000000
--- a/rise
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/usr/bin/env bash
-nix build -f default.nix "$@".app
-STATIC_DIR=$(realpath ./result/static)
-./result/bin/ibb
diff --git a/serval b/serval
deleted file mode 100755
index d5f1d8c..0000000
--- a/serval
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/usr/bin/env bash
-#
-# deploy serval instance
-#
-./bild Com.Simatime.Serval && ./push Com.Simatime.Serval serval.simatime.com
diff --git a/tidy b/tidy
deleted file mode 100755
index 16bccd4..0000000
--- a/tidy
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/usr/bin/env bash
-rm -f ./result*