Skip to content

Move the messages documentation to the user guide #6628

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

Conversation

Pierre-Sassoulas
Copy link
Member

Type of Changes

Type
βœ“ πŸ”¨ Refactoring
βœ“ πŸ“œ Docs

Description

Move the messages documentation to user guide and do the proper redirection.

Small reviewable part of #6589 and follow-up to #6613 and #6622

@DanielNoord
Copy link
Collaborator

DanielNoord commented May 16, 2022

This will break any existing link to the documentation of individual messages, see for example:
https://pylint.pycqa.org/en/latest/messages/fatal/astroid-error.html
vs.
https://pylint--6628.org.readthedocs.build/en/latest/messages/fatal/astroid-error.html
vs.
https://pylint--6628.org.readthedocs.build/en/6628/messages/fatal/astroid-error.html

I don't think we should do this unless we find a way to fix the redirects for individual message pages.

@coveralls
Copy link

coveralls commented May 16, 2022

Pull Request Test Coverage Report for Build 2345622779

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 95.353%

Totals Coverage Status
Change from base Build 2344129407: 0.0%
Covered Lines: 16066
Relevant Lines: 16849

πŸ’› - Coveralls

Pierre-Sassoulas added a commit to Pierre-Sassoulas/pylint that referenced this pull request May 18, 2022
Copy link
Collaborator

@DanielNoord DanielNoord left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Some small nitpicks.

Copy link
Collaborator

@DanielNoord DanielNoord left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

One final change... πŸ˜…

doc/conf.py Outdated
Comment on lines 60 to 61
"messages/messages_introduction": "user_guide/messages/index.html",
"messages/messages_list": "user_guide/messages/messages_overview.html",
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
"messages/messages_introduction": "user_guide/messages/index.html",
"messages/messages_list": "user_guide/messages/messages_overview.html",

https://pylint--6628.org.readthedocs.build/en/6628/messages/messages_introduction

Doesn't work 😒

Let's handle all the messages/* redirects in RTD. I'll fix them after this gets merged!

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ha right, RTD seems to preempt the single file redirect. Let me add a comment.

Copy link
Member Author

@Pierre-Sassoulas Pierre-Sassoulas May 18, 2022

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Doesn't it mean we should do

    "user_guide/messages/messages_introduction": "user_guide/messages/index.html",
    "user_guide/messages/messages_list": "user_guide/messages/messages_overview.html",

?

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Lol, yeah that's probably it. Because the above link still doesn't work.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Waiting for the pipeline to confirm it works but I think it make more sense to keep RTD for full dir redirect and our conf for single link redirect even if it means having two redirections instead of one.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hmm no, not working, even when clearing the redirect cache. Should I revert the latest commit ?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The link we used to test is wrong I think. https://pylint--6628.org.readthedocs.build/en/6628/messages/messages_introduction should be https://pylint--6628.org.readthedocs.build/en/6628/messages/messages_introduction.html

@Pierre-Sassoulas Pierre-Sassoulas merged commit 863e114 into pylint-dev:main May 18, 2022
Pierre-Sassoulas added a commit that referenced this pull request May 18, 2022
@Pierre-Sassoulas Pierre-Sassoulas deleted the cleanup-messages-doc branch May 18, 2022 12:54
@DanielNoord
Copy link
Collaborator

DanielNoord commented May 18, 2022

@DanielNoord
Copy link
Collaborator

@Pierre-Sassoulas Will you also fix the other two missing redirects in a follow-up?

@Pierre-Sassoulas
Copy link
Member Author

I tried, I don't understand why it's not working anymore (I tested in the middle of the MR and did not check again) I'm wondering if we should do everything in RTD interface ? I'm under the impression that they could interfere with each other. Another solution is to just let the 404 be, we're investing a colossal amount of time in this, if the doc is good and searchable the problem of 404 will not be a real one.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants