Skip to content

Update vscode recommended settings #10314

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
merged 1 commit into from
Jun 13, 2023

Conversation

Avasam
Copy link
Collaborator

@Avasam Avasam commented Jun 13, 2023

It's been a while, and I've kept accumulating changes. I figured with the new ms-python.mypy-type-checker extension it might be a good time to provide an update to these recommendations.

// Obsoleted by Pylance
"ms-pyright.pyright",
],
"recommendations": [
Copy link
Collaborator Author

@Avasam Avasam Jun 13, 2023

Choose a reason for hiding this comment

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

Lots of whitespace changes because apparently last time I didn't "format on save" this file. This respects the configuration in .editorconfig and .vscode/settings.json.

"--python-version=3.7",
"--strict"
// Needed because a library stubbed in typeshed won't necessarily be installed inthe dev's environment
// Currentyl broken in dmypy: https://github.com/python/mypy/issues/10709
Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Pinging python/mypy#10709 for reference

@srittau srittau merged commit d622a27 into python:main Jun 13, 2023
@Avasam Avasam deleted the vscode-recommended-settings-update branch February 29, 2024 00:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants