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 +++++++++++++++
 bin/watch      | 15 ---------------
 2 files changed, 15 insertions(+), 15 deletions(-)
 create mode 100755 bin/dev-server
 delete mode 100755 bin/watch

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"
diff --git a/bin/watch b/bin/watch
deleted file mode 100755
index 84363fb..0000000
--- a/bin/watch
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/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