From d907b83922d194c9ca931986b991534be690700e Mon Sep 17 00:00:00 2001
From: Joris
Date: Fri, 8 Jul 2022 21:38:41 +0200
Subject: Rename bin/watch to bin/dev-server

---
 bin/dev-server | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 bin/dev-server

(limited to 'bin/dev-server')

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"
-- 
cgit v1.2.3