aboutsummaryrefslogtreecommitdiff
path: root/bin/dev-server
diff options
context:
space:
mode:
authorJoris2022-07-10 14:17:39 +0200
committerJoris2022-07-10 14:31:36 +0200
commitc1e387f2f84014cc7872b5cfcc5865fd2db2b968 (patch)
tree3f3fcb2fb288644d34703504bb22c3ae3b5e2387 /bin/dev-server
parent0a9981f655c99833f247e49699ff480aecc4c5be (diff)
Write recipes in markdown and transform with pandoc
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..45a51fc
--- /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 recettes \
+ --watch template.html \
+ "bin/build"