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" |
