diff --git a/README.md b/README.md index 8efd855..4f62410 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@ This forest is initialized with the following command: ```bash -brew install opam bubblewrap fswatch +brew install opam bubblewrap watchexec opam init --auto-setup --yes opam update --yes opam install forester --yes diff --git a/build_changed.sh b/build_changed.sh new file mode 100755 index 0000000..72a578e --- /dev/null +++ b/build_changed.sh @@ -0,0 +1,14 @@ +#!/bin/bash + +while IFS= read -r line; do + # IFS=':' read -ra ADDR <<< "$line" + # echo "File ${ADDR[0]} changed" + # if line begins with "other:" + # if [[ $line == other:* ]]; then + # # echo "Other event: $line" + # continue + # fi + + echo "Event: $line" + ./build.sh +done \ No newline at end of file diff --git a/trees/hopf-0004.tree b/trees/hopf-0004.tree index 2d0a4f2..1ed26a2 100644 --- a/trees/hopf-0004.tree +++ b/trees/hopf-0004.tree @@ -10,4 +10,3 @@ A standard Peano space is a Peano space over the linear space #{V} of dimension \p{In such a space the length of the bracket, i.e. the number of entries, equals the dimension of the space, and conversely. We will be concerned here with standard Peano spaces only. }} - diff --git a/watch.sh b/watch.sh index a2670e0..fc3c3ef 100755 --- a/watch.sh +++ b/watch.sh @@ -4,9 +4,5 @@ rm -rf build rm -rf output ./build.sh -# -l 200 -fswatch -r -o trees assets | while read num ; \ - do \ - ./build.sh 2>&1|grep -v "texmf-dist" - echo "#$num" - done +watchexec --no-vcs-ignore --project-origin . --on-busy-update queue --poll 500ms -e tree,tex,css,js,xsl -w trees -w assets --emit-events-to=stdio -- ./build_changed.sh + diff --git a/watch_tree.sh b/watch_tree.sh deleted file mode 100755 index 129d662..0000000 --- a/watch_tree.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/bash - -rm -rf build -rm -rf output -./build.sh - -# -l 200 -fswatch -r -o trees | while read num ; \ - do \ - ./build.sh 2>&1|grep -v "texmf-dist" - done