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/watch | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100755 bin/watch

(limited to 'bin/watch')

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