diff options
Diffstat (limited to 'frontend/bin/dev-server')
-rwxr-xr-x | frontend/bin/dev-server | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/frontend/bin/dev-server b/frontend/bin/dev-server new file mode 100755 index 0000000..4819033 --- /dev/null +++ b/frontend/bin/dev-server @@ -0,0 +1,23 @@ +#!/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 \ + --clear \ + --watch ts \ + --watch html \ + --watch images \ + --watch styles \ + --debounce 100ms \ + -- make & +LIVE_SERVER_PID="$!" + +while true; do sleep 1; done |