From 9d3c5577285625dec2c02743b0b558597230d650 Mon Sep 17 00:00:00 2001
From: Joris
Date: Thu, 20 May 2021 10:01:57 +0200
Subject: Rename watch to dev-server

---
 bin/dev-server | 8 ++++++++
 bin/watch.sh   | 8 --------
 2 files changed, 8 insertions(+), 8 deletions(-)
 create mode 100755 bin/dev-server
 delete mode 100755 bin/watch.sh

diff --git a/bin/dev-server b/bin/dev-server
new file mode 100755
index 0000000..86eeab7
--- /dev/null
+++ b/bin/dev-server
@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+python -m http.server --directory public 8000 &
+
+trap "fuser -k 8000/tcp" EXIT
+
+tsc --target ES2017 --watch
diff --git a/bin/watch.sh b/bin/watch.sh
deleted file mode 100755
index 86eeab7..0000000
--- a/bin/watch.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/usr/bin/env bash
-set -euo pipefail
-
-python -m http.server --directory public 8000 &
-
-trap "fuser -k 8000/tcp" EXIT
-
-tsc --target ES2017 --watch
-- 
cgit v1.2.3