From: Martin Langhoff Date: Fri, 08 Jun 2007 10:42:44 GMT Subject: Re: [PATCH v2] Remove useless uses of cat, and replace with filename arguments or redirection Message-ID: <46a038f90706080342j3a5bb7abv58c78d7b532e29de@mail.gmail.com> In-Reply-To: On 6/7/07, Johannes Schindelin 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. cheers, m