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 ++++------------------ rise | 4 ---- serval | 5 ----- tidy | 2 -- 4 files changed, 4 insertions(+), 29 deletions(-) delete mode 100755 rise delete mode 100755 serval delete mode 100755 tidy 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: 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* -- cgit v1.2.3