Re: Timeout

Startseite

Nachricht beantworten
Autor: Edgar Bonet
Datum:  
To: Liste Guilde
Betreff: Re: Timeout
Le lundi 25 septembre, Tian a écrit :
> timeout()
> {
> sleep $TIMEOUT
> kill $PID >/dev/null 2>&1


kill n'enverra rien dans stdout, il suffit de rediriger stderr :

    kill $1 2> /dev/null


> }
>
> $COMMAND &
> PID=`ps --format="pid command" | grep $COMMAND | gawk '{print $1}'`


Plus simplement (et probablement plus robuste) :

PID=$!

> timeout PID &
> fg %1


Edgar.