Re: [PATCH v2] Remove useless uses of cat, and replace with filename arguments or redirection
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Jun 8, 2007, 12:52 UTC
- Message-ID
- <Pine.LNX.4.64.0706081352260.4059@racer.site>
- In-Reply-To
- <46a038f90706080342j3a5bb7abv58c78d7b532e29de@mail.gmail.com>
Hi,
On Fri, 8 Jun 2007, Martin Langhoff wrote:
Show 7 quoted lines
> On 6/7/07, Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote: > > Things like that are known to happen, and that's why "wc -l < file" is a > > better fix than "wc -l file | tr -dc 0-9". In this case, it might not > > matter for a long time, but why not stop being sloppy here and now? > > Not sure if I'd call is sloppy, but I also prefer wc -l < file -- it's > definitely safer.
Okay, so I sounded harsher than intended.
I should have phrased it like that: I consider "wc -l < file" substantially more future-proof, and it is in general a good practice IMVHO not to generate something you throw away just after that, when there is a way to avoid generating the unwanted part consistently.
Sorry, Dscho