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).

-- 
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
PGP Key ID: 08AC04F9
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users

Reply via email to