[darcs-devel] [issue853] wish: ability to disable darcs pager

Eric Kow bugs at darcs.net
Thu May 15 15:24:45 UTC 2008


New submission from Eric Kow <eric.kow at gmail.com>:

Either a DARCS_NO_PAGER environment variable, or setting DARCS_PAGER to empty
string, or a --no-pager switch.

Of course, if you explicitly call a pager (say, by pressing 'p' in interactive
mode), you should still get a pager (in my opinion)

----------
messages: 4713
nosy: beschmi, dagit, jaredj, kowey, tommy
priority: feature
status: unread
title: wish: ability to disable darcs pager
topic: ProbablyEasy, UI

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue853>
__________________________________


More information about the darcs-devel mailing list