From 632eef6424d8dc8d40c2906177892697679e7b85 Mon Sep 17 00:00:00 2001
From: Joris
Date: Sat, 19 Apr 2025 12:36:38 +0200
Subject: Add ZIG server

---
 bin/dev-server | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100755 bin/dev-server

(limited to 'bin/dev-server')

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"
-- 
cgit v1.2.3