diff options
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" |