[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to pipe just stderr to stdin in a pipeline?
From: |
Chet Ramey |
Subject: |
Re: How to pipe just stderr to stdin in a pipeline? |
Date: |
Mon, 11 May 2020 14:02:19 -0400 |
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:68.0) Gecko/20100101 Thunderbird/68.8.0 |
On 5/11/20 12:24 PM, Peng Yu wrote:
> Hi Chet, These walkarounds seem to be cumbersome.
>
> Given | and |& are available, for the reason of symmetry, could an
> operator be introduced to bash to make piping stderr only in a
> pipeline easy?
I don't think there is enough demand to invent syntax and do an
implementation. It's not another feature I need to support.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU address@hidden http://tiswww.cwru.edu/~chet/
- Re: How to pipe just stderr to stdin in a pipeline?, (continued)
- Re: How to pipe just stderr to stdin in a pipeline?, Pier Paolo Grassi, 2020/05/10
- Re: How to pipe just stderr to stdin in a pipeline?, Peng Yu, 2020/05/10
- Re: How to pipe just stderr to stdin in a pipeline?, Pierre Gaston, 2020/05/10
- Re: How to pipe just stderr to stdin in a pipeline?, Peng Yu, 2020/05/10
- Re: How to pipe just stderr to stdin in a pipeline?, Andreas Kusalananda Kähäri, 2020/05/10
- Re: How to pipe just stderr to stdin in a pipeline?, Peng Yu, 2020/05/10
- Re: How to pipe just stderr to stdin in a pipeline?, Eli Schwartz, 2020/05/10
- Re: How to pipe just stderr to stdin in a pipeline?, Greg Wooledge, 2020/05/11
- Re: How to pipe just stderr to stdin in a pipeline?, Peng Yu, 2020/05/11
- Re: How to pipe just stderr to stdin in a pipeline?, Koichi Murase, 2020/05/11
- Re: How to pipe just stderr to stdin in a pipeline?,
Chet Ramey <=
- Re: How to pipe just stderr to stdin in a pipeline?, Peng Yu, 2020/05/11
- Re: How to pipe just stderr to stdin in a pipeline?, Eli Schwartz, 2020/05/11
- Re: How to pipe just stderr to stdin in a pipeline?, Chet Ramey, 2020/05/11
- Re: How to pipe just stderr to stdin in a pipeline?, Peng Yu, 2020/05/11
- Re: How to pipe just stderr to stdin in a pipeline?, Tim Visher, 2020/05/12