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

From: Junio C Hamano <gitster@pobox.com>
Date: Sep 2, 2010, 14:58 UTC
Message-ID: <7vhbi842gx.fsf@alter.siamese.dyndns.org>
In-Reply-To: <4C7F5267.5030708@drmicha.warpmail.net>

Michael J Gruber <git@drmicha.warpmail.net> writes:

Show 11 quoted lines

> Junio C Hamano venit, vidit, dixit 01.09.2010 18:24:
> ...
>> 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.