4 Dec
2020
4 Dec
'20
6:48 a.m.
I should have done
cat file file2 file3 ^ wc -l
since the redirect works with only one file.
On Fri, Dec 04, 2020 at 11:43:52AM +1100, Rob Pike wrote:
I've long been fascinated by the prevalence of
cat file | process
and think of it as a sort of triumph of the model. Pipes are more natural
than redirection as a human interface.
-rob
On Fri, Dec 4, 2020 at 11:30 AM Dave Horsfall <dave(a)horsfall.org> wrote:
> On Thu, 3 Dec 2020, Larry McVoy wrote:
>
> > Wasn't there a version that was
> >
> > cat whatever ^ wc -l
>
> Sort of pipe-related, but one thing that really gets my goat is the
> inefficient redundancy in "cat file | process" when "process <
file" will
> suffice (and I'll bet that I'm not alone).
>
> And yes, "^" preceded "|" for reasons discussed later in this
thread.
>
> -- Dave
>
--
---
Larry McVoy lm at mcvoy.com http://www.mcvoy.com/lm