diff options
| author | Joris | 2022-09-04 16:21:18 +0200 |
|---|---|---|
| committer | Joris | 2022-09-04 16:21:18 +0200 |
| commit | 0b32b9110dd406ca052cfd7348f0ddd7e35b048e (patch) | |
| tree | 11e0da7d61be8d7602c53b95d1738a87b2179dd2 /bin/dev-server | |
| parent | a5f8943c7eecd2048007b53610d7bc1edaa5ac05 (diff) | |
Use esbuild to produce JS
Diffstat (limited to 'bin/dev-server')
| -rwxr-xr-x | bin/dev-server | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/bin/dev-server b/bin/dev-server index 86eeab7..e1faf14 100755 --- a/bin/dev-server +++ b/bin/dev-server @@ -1,8 +1,5 @@ #!/usr/bin/env bash set -euo pipefail +cd `dirname "$0"`/.. -python -m http.server --directory public 8000 & - -trap "fuser -k 8000/tcp" EXIT - -tsc --target ES2017 --watch +nix develop --command bin/watch |