From: YOKOTA Hiroshi Date: Sat, 19 Nov 2022 17:09:56 +0900 Subject: Add Debian specific documentation path to IDLE menu Forwarded: not-needed --- Lib/idlelib/editor.py | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) --- a/Lib/idlelib/help.py +++ b/Lib/idlelib/help.py @@ -301,7 +301,14 @@ def _get_dochome(): if sys.platform.count('linux'): # look for html docs in a couple of standard places pyver = 'python-docs-' + '%s.%s.%s' % sys.version_info[:3] - if os.path.isdir('/var/www/html/python/'): # rpm package manager + + # Debian specfic documentation path + deb_pyver = 'python' + '%s.%s' % sys.version_info[:2] + deb_basepath = os.path.join('/usr/share/doc/', deb_pyver, 'html') + + if os.path.isdir(deb_basepath): + dochome = os.path.join(deb_basepath, 'index.html') + elif os.path.isdir('/var/www/html/python/'): # "python2" rpm dochome = '/var/www/html/python/index.html' else: basepath = '/usr/share/doc/' # dnf/apt package managers