Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: The Halting Problem
- X-seq: zsh-users 18262
- From: Mikael Magnusson <mikachu@xxxxxxxxx>
- To: Chris Johnson <johnch@xxxxxxxx>
- Subject: Re: The Halting Problem
- Date: Mon, 30 Dec 2013 01:53:41 +0100
- Cc: Zsh Users <zsh-users@xxxxxxx>
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=UHof+yh/kFCTSNhDRBw0izgnd5EsXfcaabgiV87OnpI=; b=AqrxPOR0+nnUlk4cHX4mIDc2HLb8NPoapj4cZTRxl4kYRP5X99rv7wDdoreUTOcryR lryxK0nCaab9ElmPuug3nI8ejuX0hOWCR4O6xzRSq2yMQFKm0o7tCqHbyqWo7ti+g2Um TkfLSwiCU64P6lw+Y9WClQsdMMsqCa3dDtTHgQODumsX3P6GYkuIW3VjjUeSjYcCTOVD 3fvokpsyr5XM382s2BsgWF+KeWqxh6GSUAVdjyndqqdflgp8+HMmv17k7Gi+P/VwXRU/ TkPExWSrQ+04ThimE4jDTaRkmO6MwoUv3o0yDK+0Hq0cujMVCasRuotQsWaxy5dtMz3j zB4A==
- In-reply-to: <20131228164937.GA44192@cs2666372x.uwec.edu>
- List-help: <mailto:zsh-users-help@zsh.org>
- List-id: Zsh Users List <zsh-users.zsh.org>
- List-post: <mailto:zsh-users@zsh.org>
- Mailing-list: contact zsh-users-help@xxxxxxx; run by ezmlm
- References: <20131228164937.GA44192@cs2666372x.uwec.edu>
On 28 December 2013 17:49, Chris Johnson <johnch@xxxxxxxx> wrote:
> Hi, folks. I have the following interest: I want to run a potentially long-running job interactively from a script, but if this job exceeds a certain duration, I want to kill it and notify the user.
...
> I'm thankful for any suggestions!
If you happen to have a fairly new version of gnu coreutils installed,
the 'timeout' command might be of interest here.
--
Mikael Magnusson
Messages sorted by:
Reverse Date,
Date,
Thread,
Author