10 lines
150 B
Bash
Executable file
10 lines
150 B
Bash
Executable file
pushd "${BASH_SOURCE%/*}" > /dev/null
|
|
|
|
nix-shell -p entr bash --run \
|
|
"ls *.hs *.sh | \
|
|
entr -rs ' \
|
|
./build.sh
|
|
' \
|
|
"
|
|
|
|
popd > /dev/null
|