From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <zsh-users-return-15742-mason-zsh=primenet.com.au@zsh.org>
Received: (qmail 3192 invoked by alias); 31 Jan 2011 00:56:04 -0000
Mailing-List: contact zsh-users-help@zsh.org; run by ezmlm
Precedence: bulk
X-No-Archive: yes
List-Id: Zsh Users List <zsh-users.zsh.org>
List-Post: <mailto:zsh-users@zsh.org>
List-Help: <mailto:zsh-users-help@zsh.org>
X-Seq: 15742
Received: (qmail 13210 invoked from network); 31 Jan 2011 00:56:03 -0000
X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on f.primenet.com.au
X-Spam-Level: 
X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_05,RCVD_IN_DNSWL_MED
	autolearn=ham version=3.3.1
Received-SPF: pass (ns1.primenet.com.au: SPF record at EECS.Berkeley.EDU designates 169.229.60.87 as permitted sender)
Content-Type: text/plain; charset=UTF-8
Subject: Redirect output of time builtin
From: Matthias Vallentin <vallentin@icsi.berkeley.edu>
To: zsh-users <zsh-users@zsh.org>
Date: Sun, 30 Jan 2011 16:39:11 -0800
Message-Id: <1296434058-sup-5600@samurai.icir.org>
User-Agent: Sup/git
Content-Transfer-Encoding: 8bit

Is it possible to redirect output from the time builtin? I use it
quite often (in addition to $REPORTTIME) and would like to parse its
output in scripts or put it my prompt.

Any ideas how to do this? 

    Matthias