Re: [PATCH v2] Remove useless uses of cat, and replace with filename arguments or redirection

On 6/7/07, Johannes Schindelin [off-list ref] 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