diff options
| author | Volpeon <git@volpeon.ink> | 2020-12-22 11:32:19 +0100 | 
|---|---|---|
| committer | Volpeon <git@volpeon.ink> | 2020-12-22 11:32:19 +0100 | 
| commit | 79b82efe8902cb1269372008afd5792afab37df7 (patch) | |
| tree | 1bd9949bcb0b71cbd78cc773819e7ad0f0eea252 /scripts/watch_content.sh | |
| parent | Improved watch scripts (diff) | |
| download | volpeon.ink-79b82efe8902cb1269372008afd5792afab37df7.tar.gz volpeon.ink-79b82efe8902cb1269372008afd5792afab37df7.tar.bz2 volpeon.ink-79b82efe8902cb1269372008afd5792afab37df7.zip | |
Fine-grained compilation when watching
Diffstat (limited to 'scripts/watch_content.sh')
| -rwxr-xr-x | scripts/watch_content.sh | 10 | 
1 files changed, 7 insertions, 3 deletions
| diff --git a/scripts/watch_content.sh b/scripts/watch_content.sh index d2578e1..38567dc 100755 --- a/scripts/watch_content.sh +++ b/scripts/watch_content.sh | |||
| @@ -1,8 +1,12 @@ | |||
| 1 | #!/bin/bash | 1 | #!/bin/bash | 
| 2 | 2 | ||
| 3 | inotifywait -m -e create -e close_write --format "%f" content \ | 3 | inotifywait -rme create,close_write,delete,move --format "%f" content \ | 
| 4 | | while read FILENAME | 4 | | while read FILENAME | 
| 5 | do | 5 | do | 
| 6 | printf "Change detected: %s\n" "$FILENAME" | 6 | printf "Change detected: %s\n" "content/$FILENAME" | 
| 7 | scripts/build_content.sh | 7 | if [ -f "content/$FILENAME" ]; then | 
| 8 | scripts/build_content.sh "content/$FILENAME" | ||
| 9 | else | ||
| 10 | scripts/build_content.sh "content/$FILENAME" "delete" | ||
| 11 | fi | ||
| 8 | done | 12 | done | 
