Browse Source

- Issue #8637: Honor a pager set by the env var MANPAGER (in preference to

one set by the env var PAGER).
pull/9921/head
doko@ubuntu.com 10 years ago
parent
commit
c8fd1928d0
  1. 6
      Lib/pydoc.py

6
Lib/pydoc.py

@ -1432,11 +1432,11 @@ def getpager():
use_pager = os.environ.get('MANPAGER') or os.environ.get('PAGER')
if use_pager:
if sys.platform == 'win32': # pipes completely broken in Windows
return lambda text: tempfilepager(plain(text), os.environ['PAGER'])
return lambda text: tempfilepager(plain(text), use_pager)
elif os.environ.get('TERM') in ('dumb', 'emacs'):
return lambda text: pipepager(plain(text), os.environ['PAGER'])
return lambda text: pipepager(plain(text), use_pager)
else:
return lambda text: pipepager(text, os.environ['PAGER'])
return lambda text: pipepager(text, use_pager)
if os.environ.get('TERM') in ('dumb', 'emacs'):
return plainpager
if sys.platform == 'win32':

Loading…
Cancel
Save