📄 timeout
字号:
#Newsgroups: comp.unix.admin,comp.unix.solaris,comp.unix.shell#From: gwc@root.co.uk (Geoff Clare)#Subject: Re: timeout -t <sec> <unix command> (Re: How to give rsh a shorter timeout?)#Message-ID: <EoBxrs.223@root.co.uk>#Date: Fri, 13 Feb 1998 18:23:52 GMT## Conversion to bash v2 syntax done by Chet Ramey <chet@po.cwru.edu# UNTESTED#prog=${0##*/}usage="usage: $prog [-signal] [timeout] [:interval] [+delay] [--] <command>"SIG=-TERM # default signal sent to the process when the timer expirestimeout=60 # default timeoutinterval=15 # default interval between checks if the process is still alivedelay=2 # default delay between posting the given signal and # destroying the process (kill -KILL)while :do case $1 in --) shift; break ;; -*) SIG=$1 ;; [0-9]*) timeout=$1 ;; :*) EXPR='..\(.*\)' ; interval=`expr x"$1" : "$EXPR"` ;; +*) EXPR='..\(.*\)' ; delay=`expr x"$1" : "$EXPR"` ;; *) break ;; esac shiftdonecase $# in0) echo "$prog: $usage" >&2 ; exit 2 ;;esac( for t in $timeout $delay do while (( $t > $interval )) do sleep $interval kill -0 $$ || exit t=$(( $t - $interval )) done sleep $t kill $SIG $$ && kill -0 $$ || exit SIG=-KILL done) 2> /dev/null &exec "$@"
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -