[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Not so useless use of cat
From: |
Aharon Robbins |
Subject: |
Re: Not so useless use of cat |
Date: |
Thu, 18 Sep 2014 08:29:45 +0000 (UTC) |
In article <address@hidden>,
Chet Ramey <address@hidden> wrote:
>On 9/17/14, 3:07 AM, Aharon Robbins wrote:
>
>>> I've considered emulating it everywhere, regardless of what the OS
>>> provides, but I'd get just as many complaints if I did that.
>>>
>>> Chet
>>
>> This is what gawk does. I haven't had any complaints about this,
>> and once you do it that way you can claim that Bash is being consistent
>> across all systems. (That's one of the reasons I did it that way.)
>> My two cents, of course.
>
>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. :-)
--
Aharon (Arnold) Robbins arnold AT skeeve DOT com
P.O. Box 354 Home Phone: +972 8 979-0381
Nof Ayalon
D.N. Shimshon 9978500 ISRAEL
- Re: Not so useless use of cat, (continued)
- Re: Not so useless use of cat, Bob Proulx, 2014/09/13
- 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 <=
- Re: Not so useless use of cat, Chet Ramey, 2014/09/18
- 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