diff options
| author | Denys Vlasenko <vda.linux@googlemail.com> | 2017-07-15 19:18:58 +0200 |
|---|---|---|
| committer | Denys Vlasenko <vda.linux@googlemail.com> | 2017-07-15 19:20:45 +0200 |
| commit | 08dfafc43757c42971b4bc3709ae7a5cda7c21fb (patch) | |
| tree | 21d09e64ae9858c8285410ebd6aae6a17439efe1 /examples | |
| parent | ed2b9225371a36dd2694df65e395dc32fd94c5dd (diff) | |
fix more instances of ": $((a++))" in shell scripts
Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
Diffstat (limited to 'examples')
| -rwxr-xr-x | examples/mdev.conf.change_blockdev.sh | 2 | ||||
| -rwxr-xr-x | examples/var_service/dhcp_if_pinger/run | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/examples/mdev.conf.change_blockdev.sh b/examples/mdev.conf.change_blockdev.sh index 512e43fcc..252d30f53 100755 --- a/examples/mdev.conf.change_blockdev.sh +++ b/examples/mdev.conf.change_blockdev.sh @@ -14,7 +14,7 @@ env | sort while sleep 1; test $cnt != 0; do echo "Trying to reread partition table on $DEVNAME ($cnt)" - : $((cnt--)) + cnt=$((cnt-1)) # If device node doesn't exist, it means the device was removed. # Stop trying. test -e "$DEVNAME" || { echo "$DEVNAME doesn't exist, aborting"; exit 1; } diff --git a/examples/var_service/dhcp_if_pinger/run b/examples/var_service/dhcp_if_pinger/run index e0e87a16a..8aca90c1a 100755 --- a/examples/var_service/dhcp_if_pinger/run +++ b/examples/var_service/dhcp_if_pinger/run @@ -30,7 +30,7 @@ test x"$router" != x"" || exec env - sleep "$ping_time" failcnt=0 while true; do ping $ping_opts "$router" && exec env - sleep "$ping_time" - : $((failcnt++)) + failcnt=$((failcnt+1)) msg "Failed to ping $router, fail count:$failcnt" test $failcnt -ge $max_fail && break env - sleep "$retry_time" |