summaryrefslogtreecommitdiff
path: root/debian/patches/pydoc-use-pager.diff
diff options
context:
space:
mode:
authorIgor Pashev <pashev.igor@gmail.com>2017-09-29 13:40:02 +0300
committerIgor Pashev <pashev.igor@gmail.com>2017-09-29 13:40:02 +0300
commit424a50000a78fff715de4417dba9b4498aeeee4c (patch)
treed27f003c7d140fef24efd1b2ca1325ae099154b9 /debian/patches/pydoc-use-pager.diff
downloadpython3.5-424a50000a78fff715de4417dba9b4498aeeee4c.tar.gz
Imported python3.5 3.5.4-4debian/3.5.4-4debian
Diffstat (limited to 'debian/patches/pydoc-use-pager.diff')
-rw-r--r--debian/patches/pydoc-use-pager.diff15
1 files changed, 15 insertions, 0 deletions
diff --git a/debian/patches/pydoc-use-pager.diff b/debian/patches/pydoc-use-pager.diff
new file mode 100644
index 0000000..1a4c2af
--- /dev/null
+++ b/debian/patches/pydoc-use-pager.diff
@@ -0,0 +1,15 @@
+# DP: pydoc: use the pager command if available.
+
+Index: b/Lib/pydoc.py
+===================================================================
+--- a/Lib/pydoc.py
++++ b/Lib/pydoc.py
+@@ -1439,6 +1439,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')
+