diff options
author | Joris | 2022-07-04 11:32:27 +0200 |
---|---|---|
committer | Joris | 2022-07-04 19:36:37 +0200 |
commit | fade87173afbfdd51534646ed49844efa2d0e530 (patch) | |
tree | 54e8d5d81233fa5f3d1ba60fd8c3085252ebccc4 /bin | |
parent | ce7722c901776ae8f6a64882e902e8ba851411e0 (diff) |
Play random major and/or minor chords
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/dev-server | 5 | ||||
-rwxr-xr-x | bin/watch | 16 |
2 files changed, 21 insertions, 0 deletions
diff --git a/bin/dev-server b/bin/dev-server new file mode 100755 index 0000000..e1faf14 --- /dev/null +++ b/bin/dev-server @@ -0,0 +1,5 @@ +#!/usr/bin/env bash +set -euo pipefail +cd `dirname "$0"`/.. + +nix develop --command bin/watch diff --git a/bin/watch b/bin/watch new file mode 100755 index 0000000..82686ae --- /dev/null +++ b/bin/watch @@ -0,0 +1,16 @@ +#!/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" |