Last active
November 10, 2023 15:32
-
-
Save wagoodman/88b17b5c3f48025a43a44998379fff20 to your computer and use it in GitHub Desktop.
Timeout a bash command (while testing with git bisect)
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
timeout=290 | |
bundle install | |
git checkout Gemfile.lock | |
./timeout.sh -t $timeout bundle exec rake assets:clobber assets:clean assets:precompile RAILS_ENV=production |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
git bisect start | |
git bisect bad some-bad-sha | |
git bisect good some-good-sha | |
git bisect run ./bisect.sh |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# | |
# The Bash shell script executes a command with a time-out. | |
# Upon time-out expiration SIGTERM (15) is sent to the process. If the signal | |
# is blocked, then the subsequent SIGKILL (9) terminates it. | |
scriptName="${0##*/}" | |
declare -i DEFAULT_TIMEOUT=9 | |
declare -i DEFAULT_INTERVAL=1 | |
declare -i DEFAULT_DELAY=1 | |
# Timeout. | |
declare -i timeout=DEFAULT_TIMEOUT | |
# Interval between checks if the process is still alive. | |
declare -i interval=DEFAULT_INTERVAL | |
# Delay between posting the SIGTERM signal and destroying the process by SIGKILL. | |
declare -i delay=DEFAULT_DELAY | |
function printUsage() { | |
cat <<EOF | |
Synopsis | |
$scriptName [-t timeout] [-i interval] [-d delay] command | |
Execute a command with a time-out. | |
Upon time-out expiration SIGTERM (15) is sent to the process. If SIGTERM | |
signal is blocked, then the subsequent SIGKILL (9) terminates it. | |
-t timeout | |
Number of seconds to wait for command completion. | |
Default value: $DEFAULT_TIMEOUT seconds. | |
-i interval | |
Interval between checks if the process is still alive. | |
Positive integer, default value: $DEFAULT_INTERVAL seconds. | |
-d delay | |
Delay between posting the SIGTERM signal and destroying the | |
process by SIGKILL. Default value: $DEFAULT_DELAY seconds. | |
As of today, Bash does not support floating point arithmetic (sleep does), | |
therefore all delay/time values must be integers. | |
EOF | |
} | |
# Options. | |
while getopts ":t:i:d:" option; do | |
case "$option" in | |
t) timeout=$OPTARG ;; | |
i) interval=$OPTARG ;; | |
d) delay=$OPTARG ;; | |
*) printUsage; exit 1 ;; | |
esac | |
done | |
shift $((OPTIND - 1)) | |
# $# should be at least 1 (the command to execute), however it may be strictly | |
# greater than 1 if the command itself has options. | |
if (($# == 0 || interval <= 0)); then | |
printUsage | |
exit 1 | |
fi | |
# kill -0 pid Exit code indicates if a signal may be sent to $pid process. | |
( | |
((t = timeout)) | |
while ((t > 0)); do | |
sleep $interval | |
kill -0 $$ || exit 0 | |
((t -= interval)) | |
done | |
# Be nice, post SIGTERM first. | |
# The 'exit 0' below will be executed if any preceeding command fails. | |
kill -s SIGTERM $$ && kill -0 $$ || exit 0 | |
sleep $delay | |
kill -s SIGKILL $$ | |
) 2> /dev/null & | |
exec "$@" |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
From http://www.bashcookbook.com/bashinfo/source/bash-4.0/examples/scripts/timeout3