darcs

Issue 853 wish: ability to disable darcs pager

Title wish: ability to disable darcs pager
Priority feature Status resolved
Milestone Resolved in
Superseder Nosy List darcs-devel, dmitry.kurochkin, jaredj, kowey, phercek, thorkilnaur, tommy
Assigned To
Topics ProbablyEasy, UI

Created on 2008-05-15.15:24:45 by kowey, last changed 2009-08-27.14:02:21 by admin.

Messages
msg4713 (view) Author: kowey Date: 2008-05-15.15:24:40
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)
msg4718 (view) Author: kowey Date: 2008-05-15.17:09:54
Yes! This is indeed fixed.  Thanks, Pekka! [how about that, negative resolution
time]

Mon May 12 16:43:47 BST 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.
History
Date User Action Args
2008-05-15 15:24:45koweycreate
2008-05-15 16:46:59pherceksetnosy: + phercek
2008-05-15 17:10:00koweysetstatus: unread -> resolved-in-unstable
nosy: tommy, beschmi, kowey, dagit, jaredj, phercek
messages: + msg4718
2008-08-05 23:30:01koweysetstatus: resolved-in-unstable -> resolved
nosy: tommy, beschmi, kowey, dagit, jaredj, phercek
2009-08-06 21:04:48adminsetnosy: + dmitry.kurochkin, simon, thorkilnaur, - beschmi
2009-08-11 00:13:47adminsetnosy: - dagit
2009-08-25 18:10:56adminsetnosy: + darcs-devel, - simon
2009-08-27 14:02:21adminsetnosy: tommy, kowey, darcs-devel, thorkilnaur, jaredj, dmitry.kurochkin, phercek