aboutsummaryrefslogtreecommitdiff
path: root/bin/dev-server
diff options
context:
space:
mode:
authorJoris2023-02-05 11:20:04 +0100
committerJoris2023-02-05 11:20:04 +0100
commitae652a37ec2db6782565a9e843bc967e060d3906 (patch)
treecfb7b021ab30f749f44594c87f44f37af09288ad /bin/dev-server
parentf3377edd60c9427a87a658b724161407168a7efb (diff)
Discard phonetics when checking response
Diffstat (limited to 'bin/dev-server')
-rwxr-xr-xbin/dev-server7
1 files changed, 7 insertions, 0 deletions
diff --git a/bin/dev-server b/bin/dev-server
new file mode 100755
index 0000000..e3a6c28
--- /dev/null
+++ b/bin/dev-server
@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+watchexec \
+ --watch src \
+ --restart \
+ "(killall flashcards || true) && tput reset && cargo build && bin/run.sh"