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 like cat if its stdout > is being redirected.
Argh. That makes perfect sense, as stdout is no longer a terminal. > Surely there is an easy solution. Do we need a variant of pipeDoc > just for viewDoc? No, at least I don't think there's an easy solution that uses system.Process. The problem is that System.Process doesn't allow us to redirect only the input file handle into a pipe that we can write to. I think the new API Simon is working on may handle this. :( The only variant I can see is to create a pipeDoc that works like the old one, by creating a temp file. However, if it's specific to viewDoc, we can use the /tmp directory (appropriately found) for the temp file, since it's safe in this case (since we never use the file ourselves). -- David Roundy Department of Physics Oregon State University
signature.asc
Description: Digital signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
