pour info: il existe un shell script "timeout", utilisable pour n'importe
quelle commande, écrit par Steven Heiner:
http://www.shelldorado.com/scripts/cmds/timeout.txt
Cordialement,
J.David
On Tuesday 26 September 2006 21:08, Nicolas Tripon wrote:
> set -m
> (
> (sleep 5 ; kill 0) & # timeout
>
> sleep 10 # programme
> kill 0
> )
> set +m