Bash Timeout Loops: Difference between revisions
Jump to navigation
Jump to search
(Created page with "=Internal= * bash =Overview= <syntaxhighlight lang='bash'> ... local timeout_sec=... local t0=$(date '+%s') local remaining=$(expr ${timeout_sec...") |
|||
| (3 intermediate revisions by the same user not shown) | |||
| Line 3: | Line 3: | ||
=Overview= | =Overview= | ||
Pure timeout: | |||
<syntaxhighlight lang='bash'> | <syntaxhighlight lang='bash'> | ||
| Line 8: | Line 10: | ||
local timeout_sec=... | local timeout_sec=... | ||
local t0=$(date '+%s') | local t0=$(date '+%s') | ||
local remaining=$(expr ${timeout_sec} + ${t0} - $(date '+%s')) | local remaining=$(expr ${timeout_sec} + ${t0} - "$(date '+%s')") | ||
while [[ ${remaining} -gt 0 ]]; do | while [[ ${remaining} -gt 0 ]]; do | ||
debug "remaining ${remaining} secs ..." | debug "remaining ${remaining} secs ..." | ||
sleep 1 | sleep 1 | ||
remaining=$(expr ${timeout_sec} + ${t0} - $(date '+%s')) | remaining=$(expr ${timeout_sec} + ${t0} - "$(date '+%s')") | ||
done | |||
</syntaxhighlight> | |||
Same thing, simpler: | |||
<syntaxhighlight lang='bash'> | |||
local t0 | |||
t0=$(date '+%s') | |||
local timeout_secs=10 | |||
while [[ $(expr ${timeout_secs} + ${t0} - "$(date '+%s')") -gt 0 ]]; do | |||
echo "." | |||
sleep 2 | |||
done | |||
</syntaxhighlight> | |||
Loop until a command succeeds or a timeout occurs. | |||
<syntaxhighlight lang='bash'> | |||
x=1 | |||
test-command | |||
while [ ! $? -eq 0 ] | |||
do | |||
sleep 10 | |||
x=$(( $x + 1 )) | |||
if [ $x -gt 100 ] | |||
then | |||
exit 255 | |||
fi | |||
test-command | |||
done | done | ||
</syntaxhighlight> | </syntaxhighlight> | ||
Latest revision as of 20:06, 5 May 2021
Internal
Overview
Pure timeout:
...
local timeout_sec=...
local t0=$(date '+%s')
local remaining=$(expr ${timeout_sec} + ${t0} - "$(date '+%s')")
while [[ ${remaining} -gt 0 ]]; do
debug "remaining ${remaining} secs ..."
sleep 1
remaining=$(expr ${timeout_sec} + ${t0} - "$(date '+%s')")
done
Same thing, simpler:
local t0
t0=$(date '+%s')
local timeout_secs=10
while [[ $(expr ${timeout_secs} + ${t0} - "$(date '+%s')") -gt 0 ]]; do
echo "."
sleep 2
done
Loop until a command succeeds or a timeout occurs.
x=1
test-command
while [ ! $? -eq 0 ]
do
sleep 10
x=$(( $x + 1 ))
if [ $x -gt 100 ]
then
exit 255
fi
test-command
done