Re: Piping copious output to PAGER automatically.

On Sunday 05 September 2004 19:39, Tobias Ringström wrote:
> Max Bowsher wrote:
> > After being initially shocked by the violation of Unix tradition, I
> > eventually came to think that *if* the user has set PAGER, then they
> > probably would like this feature.
>
> I'm not so sure about that (and I'm still waiting for the shock to wear
> off). I've set PAGER mainly for man, but that does not mean that I'd
> like svn diff to use it by default. It's too much unlike the rest of the
> world, and what about svn cat, ls, log, etc? It's easy enough to type |
> $PAGER, or to write a wrapper script, IMO.
>
> /Tobias, promising to reconcider the day when ls uses PAGER by default

Pipes and redirects would be unaffected as the code would check whether stdout
is a console or not. And if it is a console the pager would be used. So I
personally think this really is in the UNIX tradition, and you could as well
do "PAGER= svn ..." to switch that behaviour off. But I think most users
would really appreciate such a feature (I know I do :-)
C'ya,
        Marc

-- 
Marc Haisenko
Systemspezialist
Webport IT-Services GmbH
mailto: haisenko@webport.de
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@subversion.tigris.org
For additional commands, e-mail: dev-help@subversion.tigris.org