Skip to content

Commit

Permalink
Switch to watchexec
Browse files Browse the repository at this point in the history
  • Loading branch information
utensil committed May 22, 2024
1 parent e545f4d commit c506849
Show file tree
Hide file tree
Showing 5 changed files with 17 additions and 19 deletions.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -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
Expand Down
14 changes: 14 additions & 0 deletions build_changed.sh
Original file line number Diff line number Diff line change
@@ -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
1 change: 0 additions & 1 deletion trees/hopf-0004.tree
Original file line number Diff line number Diff line change
Expand Up @@ -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.
}}

8 changes: 2 additions & 6 deletions watch.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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

11 changes: 0 additions & 11 deletions watch_tree.sh

This file was deleted.

0 comments on commit c506849

Please sign in to comment.