From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 6635 invoked by alias); 30 Dec 2013 00:53:58 -0000 Mailing-List: contact zsh-users-help@zsh.org; run by ezmlm Precedence: bulk X-No-Archive: yes List-Id: Zsh Users List List-Post: List-Help: X-Seq: 18262 Received: (qmail 10796 invoked from network); 30 Dec 2013 00:53:44 -0000 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on f.primenet.com.au X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW autolearn=ham version=3.3.2 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== MIME-Version: 1.0 X-Received: by 10.224.55.197 with SMTP id v5mr103882488qag.9.1388364821203; Sun, 29 Dec 2013 16:53:41 -0800 (PST) In-Reply-To: <20131228164937.GA44192@cs2666372x.uwec.edu> References: <20131228164937.GA44192@cs2666372x.uwec.edu> Date: Mon, 30 Dec 2013 01:53:41 +0100 Message-ID: Subject: Re: The Halting Problem From: Mikael Magnusson To: Chris Johnson Cc: Zsh Users Content-Type: text/plain; charset=UTF-8 On 28 December 2013 17:49, Chris Johnson 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