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

'Configure Linter' command #572

Closed
MikhailArkhipov opened this issue Jan 11, 2018 · 1 comment · Fixed by #599
Closed

'Configure Linter' command #572

MikhailArkhipov opened this issue Jan 11, 2018 · 1 comment · Fixed by #599
Assignees
@MikhailArkhipov
Labels
area-linting feature-request Request for new features or functionality
Milestone
January 2018

Comments

@MikhailArkhipov
Copy link

Currently the after installing the extension we prompt users to Install Pylint, presenting it as the only option when in fact users can modify their configuration to use Flake8, Pep8, mypy, pydocstyle, prospector and pylama.  

Instead, we will prompt users to Configure Linting, which will invoke a new “Configure Linting” command giving them the choice of linting choice. It will be clear what our recommended defaults is in the list of options, so that new users have an easy time setting it up. 
@MikhailArkhipov MikhailArkhipov added this to the January 2018 milestone Jan 11, 2018
@MikhailArkhipov MikhailArkhipov self-assigned this Jan 11, 2018
@MikhailArkhipov MikhailArkhipov added feature-request Request for new features or functionality area-linting awaiting 2-PR labels Jan 11, 2018
@brettcannon brettcannon mentioned this issue Jan 11, 2018
Closed
3 tasks
@MikhailArkhipov MikhailArkhipov mentioned this issue Jan 18, 2018
Merged
@DonJayamanne DonJayamanne removed this from the January 2018 milestone Jan 21, 2018
@MikhailArkhipov MikhailArkhipov added this to the January 2018 milestone Jan 22, 2018
@MikhailArkhipov
Copy link
Author

df39217

@brettcannon brettcannon mentioned this issue Jan 29, 2018
Closed
38 tasks
@lock lock bot locked as resolved and limited conversation to collaborators Jul 12, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@MikhailArkhipov MikhailArkhipov

Labels
area-linting feature-request Request for new features or functionality
Projects
None yet
Milestone
January 2018
Development

Successfully merging a pull request may close this issue.

Implements linting configuration
3 participants
@brettcannon @DonJayamanne @MikhailArkhipov