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.