[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to pipe just stderr to stdin in a pipeline?
From: |
Peng Yu |
Subject: |
Re: How to pipe just stderr to stdin in a pipeline? |
Date: |
Mon, 11 May 2020 16:25:07 -0500 |
One use case is wget which needs to divert the real content from the
response header, in which case the response header needs to be dump to
stderr if tempfiles should be avoided. But then handing stderr will be
important.
On 5/11/20, Chet Ramey <address@hidden> wrote:
> 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/
>
--
Regards,
Peng
- Re: How to pipe just stderr to stdin in a pipeline?, (continued)
- 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, 2020/05/11
- Re: How to pipe just stderr to stdin in a pipeline?,
Peng Yu <=
- 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