diff options
author | Igor Pashev <pashev.igor@gmail.com> | 2017-09-29 13:40:02 +0300 |
---|---|---|
committer | Igor Pashev <pashev.igor@gmail.com> | 2017-09-29 13:40:02 +0300 |
commit | 424a50000a78fff715de4417dba9b4498aeeee4c (patch) | |
tree | d27f003c7d140fef24efd1b2ca1325ae099154b9 /debian/patches/pydoc-use-pager.diff | |
download | python3.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.diff | 15 |
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') + |