[darcs-users] is it possible to switch off pager?

Eric Kow eric.kow at gmail.com
Thu May 15 15:19:17 UTC 2008


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


More information about the darcs-users mailing list