diff options
author | Joris | 2025-04-19 12:36:38 +0200 |
---|---|---|
committer | Joris | 2025-04-19 12:38:24 +0200 |
commit | 632eef6424d8dc8d40c2906177892697679e7b85 (patch) | |
tree | 48d9cd60e9e96eab810b5f7bb3c7b1fa79e0438f /bin/dev-server | |
parent | 063d8ef9eaf874a941f4459e831057dd0a1b7ddd (diff) |
Add ZIG server
Diffstat (limited to 'bin/dev-server')
-rwxr-xr-x | bin/dev-server | 16 |
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" |