Author: Edgar Bonet
Date:
To: Liste Guilde
Subject: 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.