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