diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-28 13:38:08 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-28 13:38:08 +0200 |
| commit | 7ea185038790d5081a4541f0399eed6a24f6a505 (patch) | |
| tree | d169f8c14d356410c47af6fee5816b2e9eca1c99 | |
| parent | 33f7b727030158a391d40760d2c3a04b0472859b (diff) | |
| download | builder-7ea185038790d5081a4541f0399eed6a24f6a505.tar.xz | |
bin/ii-connect: wait maximal 30 seconds for changes
| -rwxr-xr-x | bin/ii-connect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/ii-connect b/bin/ii-connect index bbc9492..df5e2bd 100755 --- a/bin/ii-connect +++ b/bin/ii-connect @@ -46,7 +46,7 @@ if [ "$1" = 'watch' ]; then # this avoids missing modifications during our last execution if [ -z "${said}" ]; then # shellcheck disable=SC2046 - inotifywait -e 'CLOSE_WRITE,CLOSE' -e 'CREATE,ISDIR' $( + inotifywait -t 30 -e 'CLOSE_WRITE,CLOSE' -e 'CREATE,ISDIR' $( find "${irc_dir}" \ -type f \ -name 'out' -o \ |