aboutsummaryrefslogtreecommitdiff
path: root/bin/dev-server
diff options
context:
space:
mode:
authorJoris2023-12-27 18:21:37 +0100
committerJoris2023-12-27 18:21:37 +0100
commit98eca7d594960aa616786cbd491b937d50f55499 (patch)
treedb63132d159d09bed2b0a6454c822c2ed95091c6 /bin/dev-server
parent57da196f828352b009ca86dca98e352cf09663f3 (diff)
First version with 2 songs
Diffstat (limited to 'bin/dev-server')
-rwxr-xr-xbin/dev-server17
1 files changed, 17 insertions, 0 deletions
diff --git a/bin/dev-server b/bin/dev-server
new file mode 100755
index 0000000..82f8d46
--- /dev/null
+++ b/bin/dev-server
@@ -0,0 +1,17 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+# Serve public
+
+fuser -k 8000/tcp || true
+python -m http.server --directory public 8000 &
+trap "fuser -k 8000/tcp" EXIT
+
+# Build HTML recipes on changes
+
+watchexec \
+ --clear \
+ --restart \
+ --watch src \
+ --watch songs \
+ "bin/build"