From ffca3dfb15f37999d2b751c5b62a90ead65201a3 Mon Sep 17 00:00:00 2001
From: Joris
Date: Mon, 13 Feb 2023 15:25:56 +0100
Subject: Use rx to update the view

---
 bin/dev-server | 15 +++++++++++++--
 bin/watch      | 16 ----------------
 2 files changed, 13 insertions(+), 18 deletions(-)
 delete mode 100755 bin/watch

(limited to 'bin')

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"
diff --git a/bin/watch b/bin/watch
deleted file mode 100755
index 82686ae..0000000
--- a/bin/watch
+++ /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"
-- 
cgit v1.2.3