Re: Timeout

Le lundi 25 septembre, Tian a écrit :
> > $COMMAND &
> > sleep $TIMEOUT
> > kill -9 $! >/dev/null 2>&1
>
> [...] cet exemple ne marche pas

Chez moi ça marche.

> car $! doit contenir le PID du dernier processus lance je suppose

Du dernier processus lancé en arrière-plan. C.f. man bash, section
« Special Parameters ».

Edgar.