diff options
Diffstat (limited to 'backend/bin/dev-server')
-rwxr-xr-x | backend/bin/dev-server | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/backend/bin/dev-server b/backend/bin/dev-server new file mode 100755 index 0000000..680e736 --- /dev/null +++ b/backend/bin/dev-server @@ -0,0 +1,20 @@ +#!/usr/bin/env bash +set -euo pipefail + +# Killing watchexec ourselves, it may not be done otherwise. +function finish { + if [ -n "${LIVE_SERVER_PID:-}" ]; then + kill "$LIVE_SERVER_PID" > /dev/null 2>&1 + fi +} + +trap finish EXIT + +watchexec \ + --watch src \ + --clear clear \ + --restart \ + zig build run & +LIVE_SERVER_PID="$!" + +while true; do sleep 1; done |