[darcs-users] is it possible to switch off pager?
Jason Dagit
dagit at codersbase.com
Thu May 15 15:24:12 UTC 2008
On Thu, May 15, 2008 at 8:19 AM, Eric Kow <eric.kow at gmail.com> wrote:
> Hi Peter,
>
> > Is it possible to switch it off in darcs' configuration.
>
> There is no configuration switch (yet) to make darcs not use the pager
> for piping its help output. You could set the DARCS_PAGER environment
> variable to cat.
>
> Maybe it would be worthwhile to have another environment variable,
> along the lines of DARCS_NO_PAGER, which would make it so that darcs
> only uses the pager if you explicitly ask it to (for example, if you
> request that a patch be passed through the pager).
Or add a --no-pager command line switch so that it can be configured prefs
with:
ALL no-pager
I'm not sure which way is preferred, just throwing it out there.
Jason
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.osuosl.org/pipermail/darcs-users/attachments/20080515/cfd6cc47/attachment.htm
More information about the darcs-users
mailing list