From 57a1076a18ac82e603ffa9fc78f960ee373895d5 Mon Sep 17 00:00:00 2001
From: Joris
Date: Sun, 4 Sep 2022 21:51:40 +0200
Subject: Improve build tooling

---
 bin/dev-server | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'bin/dev-server')

diff --git a/bin/dev-server b/bin/dev-server
index 86eeab7..e1faf14 100755
--- a/bin/dev-server
+++ b/bin/dev-server
@@ -1,8 +1,5 @@
 #!/usr/bin/env bash
 set -euo pipefail
+cd `dirname "$0"`/..
 
-python -m http.server --directory public 8000 &
-
-trap "fuser -k 8000/tcp" EXIT
-
-tsc --target ES2017 --watch
+nix develop --command bin/watch
-- 
cgit v1.2.3