Skip to content
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

gh-1178: fix indentation in the argument clinic page. #1180

Merged
merged 1 commit into from
Oct 9, 2023

Conversation

ezio-melotti
Copy link
Member

@ezio-melotti ezio-melotti commented Oct 9, 2023

This PR fixes the indentation of several blocks in the https://devguide.python.org/development-tools/clinic/ page that were rendered as blockquotes as described in #1178.


📚 Documentation preview 📚: https://cpython-devguide--1180.org.readthedocs.build/development-tools/clinic/

Comment on lines +1743 to +1754
``{path}``
The full path to the file, including directory and full filename.
``{dirname}``
The name of the directory the file is in.
``{basename}``
Just the name of the file, not including the directory.
``{basename_root}``
Basename with the extension clipped off
(everything up to but not including the last '.').
``{basename_extension}``
The last '.' and everything after it. If the basename
does not contain a period, this will be the empty string.
Copy link
Member Author

Choose a reason for hiding this comment

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

Here I added some markup.

Comment on lines +1756 to +1758
If there are no periods in the filename, ``{basename}`` and ``{filename}``
are the same, and ``{extension}`` is empty. ``{basename}{extension}``
is always exactly the same as ``{filename}``.
Copy link
Member Author

Choose a reason for hiding this comment

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

Here too, and also removed what appeared to by a stray " at the end.

@pradyunsg pradyunsg merged commit c2de3bc into python:main Oct 9, 2023
@ezio-melotti ezio-melotti deleted the ac-bq branch October 9, 2023 12:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants