From e00c777b87f847c03c0110c9c58b34cca7151d28 Mon Sep 17 00:00:00 2001 From: Florian Pritz Date: Wed, 29 Jun 2016 01:22:07 +0200 Subject: sup: Fix shellcheck warnings Signed-off-by: Florian Pritz --- sup | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'sup') diff --git a/sup b/sup index eb7f71d..03237fe 100755 --- a/sup +++ b/sup @@ -10,9 +10,9 @@ delay=30 times_ran=0 cleanup() { - if [ -n "$pid" ]; then + if [[ -n "$pid" ]]; then echo "killed... $pid" >&2 - kill $pid + kill "$pid" fi exit } @@ -75,23 +75,23 @@ done command=("$@") while :; do - times_ran=$(($times_ran+1)) - if [ $times_ran -gt $delay_after ]; then - echo "sleeping for $delay seconds after $(($times_ran-1)) runs in $delay_reset_after seconds" >&2 - sleep $delay + times_ran=$((times_ran+1)) + if [[ $times_ran -gt $delay_after ]]; then + echo "sleeping for $delay seconds after $((times_ran-1)) runs in $delay_reset_after seconds" >&2 + sleep "$delay" fi - time_started=`date +%s` + time_started=$(date +%s) echo -n "running... " >&2 - ${command[@]} & + "${command[@]}" & pid=$! echo PID: $pid >&2 wait $pid pid="" # reset counter if run long enough - if [ $(($time_started+$delay_reset_after)) -lt `date +%s` ]; then + if [[ $((time_started+delay_reset_after)) -lt $(date +%s) ]]; then times_ran=0 fi done -- cgit v1.2.3-24-g4f1b