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.

Sign up for GitHub

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

Jump to bottom

--custom-typing command line option is named custom_typing_module in config file #7772

Closed
jolaf opened this issue Oct 22, 2019 · 1 comment
Closed

--custom-typing command line option is named custom_typing_module in config file #7772

jolaf opened this issue Oct 22, 2019 · 1 comment

Comments

@jolaf
Copy link
Contributor

jolaf commented Oct 22, 2019 •
edited
Loading

mypy v0.740

It seems these two options do the same thing so they probably should be named similarly.

Probably --custom-typing should be renamed --custom-typing-module.
@jolaf jolaf mentioned this issue Oct 22, 2019
Closed
jolaf pushed a commit to jolaf/mypy that referenced this issue Oct 22, 2019
Fixed python#7772.
1b5f20d
@jolaf jolaf mentioned this issue Oct 22, 2019
Merged
@jolaf
Copy link
Contributor Author

jolaf commented Oct 22, 2019

Fixed in #7776.

Michael0x2a pushed a commit that referenced this issue Oct 23, 2019
@jolaf @Michael0x2a
Update config file doc to match command line doc and --help (#7776)
09c1fc7 
This pull request reorganizes the command line docs, the config file docs, and
the output of `--help` so they all list the options in the same order and all
use the same section heading titles.

It also adds a few previously undocumented flags to the docs, such as `--pretty`
and several of the report generation flags.

As a part of this cleanup, this PR also makes two minor changes to the flags
themselves: `--custom-typing` was renamed to `--custom-typing-module` and
the `--strict-optional-whitelist` flag was deprecated.

Fixes #7574, #7575, #7772.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Michael0x2a @jolaf