aboutsummaryrefslogtreecommitdiff
path: root/bin/dev-server
diff options
context:
space:
mode:
authorJoris2025-04-19 12:36:38 +0200
committerJoris2025-04-19 12:38:24 +0200
commit632eef6424d8dc8d40c2906177892697679e7b85 (patch)
tree48d9cd60e9e96eab810b5f7bb3c7b1fa79e0438f /bin/dev-server
parent063d8ef9eaf874a941f4459e831057dd0a1b7ddd (diff)
Add ZIG server
Diffstat (limited to 'bin/dev-server')
-rwxr-xr-xbin/dev-server16
1 files changed, 0 insertions, 16 deletions
diff --git a/bin/dev-server b/bin/dev-server
deleted file mode 100755
index 82686ae..0000000
--- a/bin/dev-server
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/usr/bin/env bash
-set -euo pipefail
-
-# Run server
-
-python -m http.server --directory public 8000 &
-trap "fuser -k 8000/tcp" EXIT
-
-# Watch TypeScript
-
-CHECK="echo Checking TypeScript… && tsc --checkJs"
-BUILD="esbuild --bundle src/main.ts --target=es2017 --outdir=public"
-watchexec \
- --clear \
- --watch src \
- -- "$CHECK && $BUILD"