Re: [PATCH] install-webdoc: quell diff output on stdout

Michael J Gruber [off-list ref] writes:

Junio C Hamano venit, vidit, dixit 01.09.2010 18:24:
...

quoted

When I push to the public repository, a hook is triggered to build and
install the documentation, sending its progress to a log file, and I have
a window open running "tail -f" on it.

Sorry, isn't that a somewhat crazy type of sanity check? You're getting
the complete diff for the generated htmls flying by. Wouldn't the actual
"install..." be sufficient, or maybe, a QUIET_DIFF variant which
displays the command line? And not only sufficient, but actually easier
to check visually as you seem to do?

I use the diff to see what text actually changed, so the answer is no.

But I am file with a patch to squelch the output by default, while giving
me an option (perhaps by setting an environment variable when the hook
triggers the build and install of the documentation) to unsquelch.