Skip to content

User-specific config file #4815

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

Closed
OmeGak opened this issue Mar 28, 2018 · 5 comments
Closed

User-specific config file #4815

OmeGak opened this issue Mar 28, 2018 · 5 comments

Comments

@OmeGak
Copy link
Contributor

OmeGak commented Mar 28, 2018

Feature request. According to my search-fu, it hasn't been discussed yet.

mypy with no --config-file specified will check for mypy.ini first, use to setup.cfg otherwise, and ultimately fallback to the built-in defaults if none of them are present. I would like to have a user-default config that would be used instead. Would it be too crazy to check for ~/.mypy.ini before falling back to the built-in defaults?

I would find this useful for quick prototyping without having to copy&paste my preferred configuration from other projects. It's also quite a common pattern in other static analysis tools like linters.

@gvanrossum
Copy link
Member

gvanrossum commented Mar 28, 2018 via email

@OmeGak
Copy link
Contributor Author

OmeGak commented Mar 28, 2018

Sure! Happy to tackle it.

OmeGak added a commit to OmeGak/mypy that referenced this issue Apr 19, 2018
OmeGak added a commit to OmeGak/mypy that referenced this issue Apr 19, 2018
OmeGak added a commit to OmeGak/mypy that referenced this issue Apr 20, 2018
OmeGak added a commit to OmeGak/mypy that referenced this issue Apr 20, 2018
OmeGak added a commit to OmeGak/mypy that referenced this issue Apr 20, 2018
@dsifford
Copy link

dsifford commented May 7, 2018

Nice work @OmeGak

Curious what your thoughts are on adding to this commit to support the XDG base directory specification?

Details here.
Spec here.

My home directory thanks you in advance 🙏

@OmeGak
Copy link
Contributor Author

OmeGak commented May 10, 2018

Not a strong opinion on XDG base directory. It wouldn't hurt complying with the specs, I guess. Maybe you could create a new issue proposing the idea for people to discuss it first?

1 similar comment
@OmeGak
Copy link
Contributor Author

OmeGak commented May 10, 2018

Not a strong opinion on XDG base directory. It wouldn't hurt complying with the specs, I guess. Maybe you could create a new issue proposing the idea for people to discuss it first?

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

No branches or pull requests

3 participants