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/dev-server | |
parent | a1960c7e10691e460b835446bb358c27e971fba8 (diff) |
Use rx to update the view
Diffstat (limited to 'bin/dev-server')
-rwxr-xr-x | bin/dev-server | 15 |
1 files changed, 13 insertions, 2 deletions
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" |