aboutsummaryrefslogtreecommitdiff
path: root/bin/dev-server
diff options
context:
space:
mode:
authorJoris2022-07-08 21:38:41 +0200
committerJoris2022-07-08 21:38:41 +0200
commitd907b83922d194c9ca931986b991534be690700e (patch)
treea65fba1fe062c53776f51e85554680f3f4d146af /bin/dev-server
parente0a35b7b30ad176ccd9e9bb5342bc41011e80f76 (diff)
Rename bin/watch to bin/dev-server
Diffstat (limited to 'bin/dev-server')
-rwxr-xr-xbin/dev-server15
1 files changed, 15 insertions, 0 deletions
diff --git a/bin/dev-server b/bin/dev-server
new file mode 100755
index 0000000..84363fb
--- /dev/null
+++ b/bin/dev-server
@@ -0,0 +1,15 @@
+#!/usr/bin/env bash
+set -euo pipefail
+cd $(dirname "$0")/..
+
+CMD=${1:-check}
+
+RUST_LOG=budget=info cargo-watch \
+ --ignore README.md \
+ --ignore bin \
+ --ignore sql \
+ --ignore database.db \
+ --ignore database.db-shm \
+ --ignore database.db-wal \
+ --clear \
+ -x "$CMD"