Re: [Texmacs-dev] Problem with Ghostscript

[Ralf Treinen]

On Fri, May 02, 2003 at 09:33:26AM +0200, Joris van der Hoeven wrote:

> Does someone know whether there exist a command
> which executes an other command for a certain time.
> In other words, either the command terminates within
> the given time, or it does not and we kill it.

At least on debian machines there is timeout :


TIMEOUT(1)

NAME
       timeout - run command with bounded time

SYNOPSIS
       timeout [-signal] time command ...

DESCRIPTION
       timeout executes a command and imposes an elapsed time limit.

[rest deleted]

-Ralf.
--