Re: [darcs-users] pipeDoc, pagers and oops!

2008-05-10 Thread David Roundy
On Sat, May 10, 2008 at 12:03:00AM +0100, Eric Y. Kow wrote: Hi David, I notice that you've worked out the pipeDoc stuff. Great! There's one slight 'oops' factor in this, though. Now darcs --help no longer seems to go through a pager. I'm guessing it's because less actually just acts

[darcs-users] darcs patch: Restore creation of temporary file when calling a pager.

2008-05-10 Thread Eric Kow
Sun May 11 00:32:52 BST 2008 Eric Kow [EMAIL PROTECTED] * Restore creation of temporary file when calling a pager. The way runProcess works now, we have to redirect the pager's stdout (?). For the pager, since it's not writing to a terminal, the sane thing for it to do is to just