Wie ein Zeitlimit für eine Shell-Funktion setzen?

[Linus]

In einem Skript brauche ich eine Funktion ausgeführt, aber mit einem Zeitlimit; d. h. nach X Sekunden soll die Funktion notfalls gekillt werden.
Wie bekommt man das hin? :confused:

[jan61]

Moin,

schicke sie in den Hintergrund, hole Dir die PID und kille sie in der aufrufenden Shell nach einer entsprechenden Pause. Näheres findest Du u. a. im bash-Manual im Abschnitt "JOB CONTROL".

Jan

[Linus]

Moin,

schicke sie in den Hintergrund, hole Dir die PID und kille sie in der aufrufenden Shell nach einer entsprechenden Pause. Näheres findest Du u. a. im bash-Manual im Abschnitt "JOB CONTROL".

Jan

Ok, die Suche nach "Bash Timelimit" half weiter.

Eigentlich wäre die ftsh ideal:

http://pages.cs.wisc.edu/~thain/research/ftsh/