[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Not so useless use of cat
From: |
Chet Ramey |
Subject: |
Re: Not so useless use of cat |
Date: |
Thu, 18 Sep 2014 09:18:09 -0400 |
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 |
On 9/18/14, 4:29 AM, Aharon Robbins wrote:
>> Sure. It's a choice between internal and external consistency. If I
>> emulated /dev/std* (and maybe /dev/fd/*) internally in bash, bash would
>> behave the same everywhere, but, as Andreas said, I'd get questions
>> about why `foo -o /dev/stdout' and `foo >/dev/stdout' behaved differently.
>
> Yes, I live with the "damned-if-you-do, damned-if-you-don't" all the
> time too. It sounds like you've already decided which way you want
> things to be. :-)
Yes, on this one. There are others; recall the `discussion' about
whether bash should choose between /dev/fd or FIFOs for process
substitution at runtime.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU chet@case.edu http://cnswww.cns.cwru.edu/~chet/
- Re: Not so useless use of cat, (continued)
- Message not available
- Re: Not so useless use of cat, Ralf Goertz, 2014/09/16
- Re: Not so useless use of cat, Bob Proulx, 2014/09/16
- Re: Not so useless use of cat, Greg Wooledge, 2014/09/16
- Re: Not so useless use of cat, Bob Proulx, 2014/09/16
- Re: Not so useless use of cat, Chet Ramey, 2014/09/16
- Re: Not so useless use of cat, Bob Proulx, 2014/09/17
- Message not available
- Re: Not so useless use of cat, Aharon Robbins, 2014/09/17
- Re: Not so useless use of cat, Andreas Schwab, 2014/09/17
- Re: Not so useless use of cat, Chet Ramey, 2014/09/17
- Message not available
- Re: Not so useless use of cat, Aharon Robbins, 2014/09/18
- Re: Not so useless use of cat,
Chet Ramey <=
- Re: Not so useless use of cat, arnold, 2014/09/18
- Re: Not so useless use of cat, Greg Wooledge, 2014/09/18
- Re: Not so useless use of cat, Chet Ramey, 2014/09/18
- Re: Not so useless use of cat, Dennis Williamson, 2014/09/16
- Message not available
- Re: Not so useless use of cat, Ralf Goertz, 2014/09/17
Re: Not so useless use of cat, Greg Wooledge, 2014/09/15