Date: Mon, 23 Feb 2004 12:20:10 -0800 (PST) From: Michael Nottebrock <michaelnottebrock@gmx.net> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/63222: [patch] Remove useless use of cat 5/5 Message-ID: <200402232020.i1NKKAAM054347@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/63222; it has been noted by GNATS. From: Michael Nottebrock <michaelnottebrock@gmx.net> To: freebsd-gnats-submit@FreeBSD.org, q@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.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200402232020.i1NKKAAM054347>