diff options
| author | Joris | 2022-07-08 21:38:41 +0200 |
|---|---|---|
| committer | Joris | 2022-07-08 21:38:41 +0200 |
| commit | d907b83922d194c9ca931986b991534be690700e (patch) | |
| tree | a65fba1fe062c53776f51e85554680f3f4d146af /bin/watch | |
| parent | e0a35b7b30ad176ccd9e9bb5342bc41011e80f76 (diff) | |
Rename bin/watch to bin/dev-server
Diffstat (limited to 'bin/watch')
| -rwxr-xr-x | bin/watch | 15 |
1 files changed, 0 insertions, 15 deletions
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" |