Re: Piping copious output to PAGER automatically.
From: David Wilson <dw_at_botanicus.net>
Date: 2004-09-06 00:17:10 CEST
On Sun, Sep 05, 2004 at 10:47:34AM -0700, Peter S. Housel wrote:
> Setting PAGER just lets you choose *which* pager you want to use, for
That's a fair point, but what of the case where we are more than likely
What are peoples' thoughts on making it a (default off) option, or one
[miscellany]
The latter resolves the issue of which commands to apply the
David.
-- Gentoo, for when 13 hours of your time is worth more than the 0.1 nanoseconds your CPU saves during use. --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscribe@subversion.tigris.org For additional commands, e-mail: dev-help@subversion.tigris.orgReceived on Mon Sep 6 00:17:38 2004 |
This is an archived mail posted to the Subversion Dev mailing list.
This site is subject to the Apache Privacy Policy and the Apache Public Forum Archive Policy.