Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: Redirecting shell output to a pipe
- X-seq: zsh-users 14607
- From: Peter Stephenson <pws@xxxxxxx>
- To: zsh-users@xxxxxxx
- Subject: Re: Redirecting shell output to a pipe
- Date: Wed, 25 Nov 2009 14:34:00 +0000
- In-reply-to: <20091125141532.GA26285@xxxxxxxxxxxxxxxxxxxxxxxxxx>
- 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: <20091124143140.GA7612@xxxxxxxxxxxxxxxxxxxxxxxxxx> <4B0C2709.5080307@xxxxxxx> <20091125064801.GA8371@xxxxxxxxxxxxxxxxxxxxxxxxxx> <20091125123743.79814faa@news01> <20091125141532.GA26285@xxxxxxxxxxxxxxxxxxxxxxxxxx>
"Nadav Har'El" wrote:
> > exec > >(tee filename)
>
> I wonder, though, here, whether the shell will actually kill the tee or will
> it continue to live forever (I didn't test).
The shell won't kill the tee, but it should get end-of-file on the pipe
when the script exits. Basically, seen from outside it should behave as
a normal pipe: tee will exit the way it always does in a pipeline. It's
only from inside the shell it looks a bit non-standard.
--
Peter Stephenson <pws@xxxxxxx> Software Engineer
Tel: +44 (0)1223 692070 Cambridge Silicon Radio Limited
Churchill House, Cambridge Business Park, Cowley Road, Cambridge, CB4 0WZ, UK
Member of the CSR plc group of companies. CSR plc registered in England and Wales, registered number 4187346, registered office Churchill House, Cambridge Business Park, Cowley Road, Cambridge, CB4 0WZ, United Kingdom
Messages sorted by:
Reverse Date,
Date,
Thread,
Author