zhaw-fup/Exercises/exercise-6/watch.sh

pushd "${BASH_SOURCE%/*}" > /dev/null

nix-shell -p entr bash --run \
  "ls *.hs *.sh | \
   entr -rs ' \
    ./build.sh
   ' \
  "

popd > /dev/null
Add scripts for building EDSL scripts 2024-06-16 21:02:59 +00:00			`pushd "${BASH_SOURCE%/*}" > /dev/null`

			`nix-shell -p entr bash --run \`
Watch bash scripts 2024-06-16 21:03:46 +00:00			`"ls .hs .sh \| \`
Add scripts for building EDSL scripts 2024-06-16 21:02:59 +00:00			`entr -rs ' \`
			`./build.sh`
			`' \`
			`"`

			`popd > /dev/null`