27 Jan
2018
27 Jan
'18
10:54 p.m.
Alright everyone, so what are we going to do about that?
The search functionality looks fine to me in general on [1]. And the search box is in a logical place, in the sidebar. Maybe using a different, more modern theme may improve the user experience slightly, though.
I guess redirecting every access on "docs.pylint.org" to "pylint.readthedocs.io" (for both HTTP and HTTPS) will do away with the largest part of reader confusion.
Is this something we can help fixing, e.g. by a PR?
Regards, Peter
[1] https://pylint.readthedocs.io/en/latest/search.html?q=pylintrc