diff options
author | Joris | 2023-02-13 15:25:56 +0100 |
---|---|---|
committer | Joris | 2023-02-13 21:34:38 +0100 |
commit | ffca3dfb15f37999d2b751c5b62a90ead65201a3 (patch) | |
tree | 62f2b0429ea6f8aaa328d41da7b623439142e75b /bin/watch | |
parent | a1960c7e10691e460b835446bb358c27e971fba8 (diff) |
Use rx to update the view
Diffstat (limited to 'bin/watch')
-rwxr-xr-x | bin/watch | 16 |
1 files changed, 0 insertions, 16 deletions
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" |