From fade87173afbfdd51534646ed49844efa2d0e530 Mon Sep 17 00:00:00 2001 From: Joris Date: Mon, 4 Jul 2022 11:32:27 +0200 Subject: Play random major and/or minor chords --- bin/dev-server | 5 +++++ bin/watch | 16 ++++++++++++++++ 2 files changed, 21 insertions(+) create mode 100755 bin/dev-server create mode 100755 bin/watch (limited to 'bin') 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" -- cgit v1.2.3