diff options
| author | emkael <emkael@tlen.pl> | 2022-04-03 21:55:38 +0200 |
|---|---|---|
| committer | emkael <emkael@tlen.pl> | 2022-04-03 21:55:38 +0200 |
| commit | 105e9409bfa8d334dad205ba993131e795a6e43b (patch) | |
| tree | 56c7c4bd7642a56fc86d14ab950d83d3f7dafbb2 /scripts | |
| parent | e25eeac996373c4ebe9588533a6ee7aa0b963bf2 (diff) | |
Suppressing output from grep subshell
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/autorun.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/autorun.sh b/scripts/autorun.sh index 6d9ff5a..90ba40b 100755 --- a/scripts/autorun.sh +++ b/scripts/autorun.sh @@ -6,12 +6,12 @@ export GIT_SSH_COMMAND="ssh ${LIGA_SSH_OPTS}" FORCE=${1:-0} RUNNING_INDICATOR=${LIGA_PLAYOFF_LOGFILE}.running -find $(dirname ${LIGA_PLAYOFF_LOGFILE}) -name \*.running -mtime +0.5 -delete # if the bracket is not running for 12 hours, it's running +find $(dirname ${LIGA_PLAYOFF_LOGFILE}) -name \*.running -mmin +720 -delete # if the bracket is not running for 12 hours, it's running PREVHEAD=$(git rev-parse HEAD) git pull --quiet --rebase --autostash --recurse-submodules --no-stat if [ -n "$(git diff --name-status --no-renames $PREVHEAD HEAD)" -o $FORCE != "0" -o -f ${RUNNING_INDICATOR} ] then ( date --rfc-3339=seconds; ./generate.sh; ./sync.sh; date --rfc-3339=seconds; ) > ${LIGA_PLAYOFF_LOGFILE} 2>&1 - (grep 'phase object' ${LIGA_PLAYOFF_LOGFILE} | grep -v 'not running') && touch ${RUNNING_INDICATOR} + (grep 'phase object' ${LIGA_PLAYOFF_LOGFILE} | grep -v 'not running' > /dev/null) && touch ${RUNNING_INDICATOR} fi |