[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