Andre Berger <uzscd5@uni-bonn.de> writes:
> Thanks... but still I'd like to know if it's possible to use a shell
> script with a timeout, in general.
Have a look at /usr/share/doc/bash/examples/scripts/timeout.gz (in
package 'bash-doc').
hth,
moritz
--
Moritz Schulte <moritz@chaosdorf.de> http://www.chaosdorf.de/moritz/
Debian/GNU supporter - http://www.debian.org/ http://www.gnu.org/
GPG fingerprint = 3A14 3923 15BE FD57 FC06 B501 0841 2D7B 6F98 4199