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

Re: Redirect output of time builtin

X-seq: zsh-users 16140
From: Matthias Vallentin <vallentin@xxxxxxxxxxxxxxxxx>
To: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
Subject: Re: Redirect output of time builtin
Date: Tue, 19 Jul 2011 07:50:36 -0700
Cc: zsh-users <zsh-users@xxxxxxx>
In-reply-to: <110713081223.ZM13059@torch.brasslantern.com>
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: <1296434058-sup-5600@samurai.icir.org> <110130200006.ZM15976@torch.brasslantern.com> <1310546182-sup-4650@samurai.icir.org> <110713081223.ZM13059@torch.brasslantern.com>

> time_out=$( { time simple command 2>&3 >&/dev/tty } 2>&1 3>&2 )
> 
> This isn't useful in a pipeline, though, and you may need to replace
> >&/dev/tty with explicit shuffling of descriptors 1 and 2, and I don't
> promise that interactive commands won't be seriously messed up.

That works well for most my use cases, thanks!

    Matthias

References:
- Redirect output of time builtin
  - From: Matthias Vallentin
- Re: Redirect output of time builtin
  - From: Bart Schaefer
- Re: Redirect output of time builtin
  - From: Matthias Vallentin
- Re: Redirect output of time builtin
  - From: Bart Schaefer

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