diff options
| author | Joris | 2022-09-04 21:51:40 +0200 |
|---|---|---|
| committer | Joris | 2022-09-04 21:51:40 +0200 |
| commit | 57a1076a18ac82e603ffa9fc78f960ee373895d5 (patch) | |
| tree | 800e66f532ccf823277fee5a894a68077b397d83 /bin/dev-server | |
| parent | 5df9270538bfcc08c9726887c7b8f54eec894dce (diff) | |
Improve build tooling
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 |