Potential bug: setting one of the command environment variables (DARCS_PAGER)
could cause bad things to happen (running the first argument as the command
since the command itself is the empty string?). I think it should be fine, and
that System.Process.runProcess does what we want anyway (for example, we're not
using System.Cmd)... but thought I should note it down anyway
The following patch already implemts the feature in unstable.
Mon May 12 18:43:47 EEST 2008 Pekka Pessi <pekka.pessi@nokia.com>
* pipeDocToPager runs no pager if pager is "".
Darcs does not run pager if DARCS_PAGER environment variable has empty value
(or PAGER, if DARCS_PAGER is not set).
This is like man uses MANPAGER or PAGER environment variables.