ports/63222: [patch] Remove useless use of cat 5/5
Michael Nottebrock
michaelnottebrock at gmx.net
Mon Feb 23 20:20:10 UTC 2004
The following reply was made to PR ports/63222; it has been noted by GNATS.
From: Michael Nottebrock <michaelnottebrock at gmx.net>
To: freebsd-gnats-submit at FreeBSD.org, q at uni.de
Cc:
Subject: Re: ports/63222: [patch] Remove useless use of cat 5/5
Date: Mon, 23 Feb 2004 21:19:25 +0100
I am not going to start another lengthy debate in this PR by asking you in
just what way "useless use of cat" sets a "bad" example. Instead I'll cut it
short: What you're trying to do to is enforce your (and possibly some other
people's as well) idea of good _style_. In other words, the decision of using
stdin or not is primarily a matter of _taste_.
This isn't about bugs or bad examples, it's about bikeshedding. Everyone can
do a substitution with sed, and everyone can use redirections. Debating the
best way to do it serves no purpose. This PR and your other four do not
either. Please request to close them. Set the "good example" in your own
ports.
Sidenote: Your benchmark uses zsh, and you're not measuring the additional
tee. Also, please don't send quoted-printable encoded messages to GNATS, they
become very unreadable. I took the liberty of removing the encoding from your
reply directly in GNATS.
More information about the freebsd-ports-bugs
mailing list