From 4dc2cd1369a9bea6cf0d393059b7ae3a07039f52 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Fri, 3 Apr 2020 16:58:13 -0700 Subject: Remove old scripts and update README --- README.md | 22 ++++------------------ 1 file changed, 4 insertions(+), 18 deletions(-) (limited to 'README.md') 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 + bild -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 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 TODO: document how we use the following: -- cgit v1.2.3