-
-
Notifications
You must be signed in to change notification settings - Fork 4.4k
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
Use pathlib in autogen_config #12629
Conversation
Linter effective |
@Carreau What is happening? I'm very new to PRs, so I don't understand what is going on with that force-push. A friend told me to pull the changes into my fork, but what should I do now? |
Sorry, I've been busy trying to review all the PRs, do not worry about the force-push, it's something that github warns about that it use to not to before. Usually when "pushing" you can only add new commits, when force-pushing you (and in the above case me) replaced an already existing commit. that happens for example when you rewrite git history if someone for example commited a password and you want to remove it. |
for c in app._classes_inc_parents(): | ||
f.write(class_config_rst_doc(c, trait_aliases)) | ||
f.write('\n') | ||
filename.write_text("\n".join(text)) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'm not quite sure all those are correct, as write
likely does not happend \n, but '\n'.join() does, so this will not be strictly identical.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Alright, can you revert back that change?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
yes, I can do that.
Completely replaced os with Path, like asked in #12515
#12614 already changed the
with open()
to Path, and I went a bit deeper.The new line 114 behaves a little bit differently than the older, the output file will have a newline after
app.document_config_options()