pydoc-use-pager
authorMatthias Klose <doko@debian.org>
Thu, 24 Mar 2022 13:02:21 +0000 (13:02 +0000)
committerMatthias Klose <doko@debian.org>
Thu, 24 Mar 2022 13:02:21 +0000 (13:02 +0000)
# DP: pydoc: use the pager command if available.

# DP: pydoc: use the pager command if available.

Gbp-Pq: Name pydoc-use-pager.diff

Lib/pydoc.py

index 24bf2f7bebee47ce9d7d3985688ac16a16b2a9fb..595d73c2570ac1c5ea9989842db9d2bae14ac37c 100755 (executable)
@@ -1582,6 +1582,8 @@ def getpager():
         return plainpager
     if sys.platform == 'win32':
         return lambda text: tempfilepager(plain(text), 'more <')
+    if hasattr(os, 'system') and os.system('(pager) 2>/dev/null') == 0:
+        return lambda text: pipepager(text, 'pager')
     if hasattr(os, 'system') and os.system('(less) 2>/dev/null') == 0:
         return lambda text: pipepager(text, 'less')