Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Redirect output of time builtin

X-seq: zsh-users 15742
From: Matthias Vallentin <vallentin@xxxxxxxxxxxxxxxxx>
To: zsh-users <zsh-users@xxxxxxx>
Subject: Redirect output of time builtin
Date: Sun, 30 Jan 2011 16:39:11 -0800
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

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

Follow-Ups:
- Re: Redirect output of time builtin
  - From: Bart Schaefer

Messages sorted by: Reverse Date, Date, Thread, Author