aboutsummaryrefslogtreecommitdiff
path: root/bin/dev-server
diff options
context:
space:
mode:
authorJoris2023-02-13 15:25:56 +0100
committerJoris2023-02-13 21:34:38 +0100
commitffca3dfb15f37999d2b751c5b62a90ead65201a3 (patch)
tree62f2b0429ea6f8aaa328d41da7b623439142e75b /bin/dev-server
parenta1960c7e10691e460b835446bb358c27e971fba8 (diff)
Use rx to update the view
Diffstat (limited to 'bin/dev-server')
-rwxr-xr-xbin/dev-server15
1 files changed, 13 insertions, 2 deletions
diff --git a/bin/dev-server b/bin/dev-server
index e1faf14..82686ae 100755
--- a/bin/dev-server
+++ b/bin/dev-server
@@ -1,5 +1,16 @@
#!/usr/bin/env bash
set -euo pipefail
-cd `dirname "$0"`/..
-nix develop --command bin/watch
+# 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"