RE: Timeout

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