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.