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

Add support for user-specific config file #4939

Merged
merged 1 commit into from Apr 21, 2018

Conversation

Projects
None yet
2 participants
@OmeGak
Copy link
Contributor

OmeGak commented Apr 19, 2018

Closes #4815.

This PR makes mypy fallback to reading the configuration from ~/.mypy.ini if neither mypy.ini nor setup.cfg are found when invoked without --config-file. Also, --help will now mention all default config files under --config-file CONFIG_FILE, instead of mentioning only mypy.ini.

Missing:

  • Update docs.
  • Tests?

@OmeGak OmeGak force-pushed the OmeGak:wip/user-config-file branch 3 times, most recently from 36f5a51 to dd677fd Apr 19, 2018

@OmeGak OmeGak force-pushed the OmeGak:wip/user-config-file branch from dd677fd to ce64350 Apr 20, 2018

@OmeGak OmeGak changed the title WIP: Add support user-specific config file Add support user-specific config file Apr 20, 2018

@OmeGak OmeGak changed the title Add support user-specific config file Add support for user-specific config file Apr 20, 2018

@gvanrossum gvanrossum merged commit 0949de3 into python:master Apr 21, 2018

2 checks passed

continuous-integration/appveyor/pr AppVeyor build succeeded
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
@gvanrossum

This comment has been minimized.

Copy link
Member

gvanrossum commented Apr 21, 2018

Thanks! Especially thank you for also updating the docs.

@OmeGak OmeGak deleted the OmeGak:wip/user-config-file branch Apr 22, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.