Skip to content

Editor is taking 2 to 3 seconds to re-lint #827

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
jeyanthimuthuram opened this issue Feb 20, 2018 · 2 comments
Closed

Editor is taking 2 to 3 seconds to re-lint #827

jeyanthimuthuram opened this issue Feb 20, 2018 · 2 comments

Comments

@jeyanthimuthuram
Copy link

jeyanthimuthuram commented Feb 20, 2018

I saw the discussion about enable linting while typing , I feel that is much needed and related to here.

Because whenever I am saving only the python plugin is re-linting and it takes around 2 to 3 seconds that is I feel slow , because I need to wait two to three second to check I did correct or not ?

Addtional Details:
VSCode
Version 1.20.0
Commit c63189deaa8e620f650cc28792b8f5f3363f2c5b
Extension :
2018.1 (01 Feb 2018)

@MikhailArkhipov
Copy link

Currently there is little we can do about this. We just run PyLint and it is not very fast. It also works on files so they need to be saved. This is a major work item since it requires replacement of at least some of pyling functionality.

Folding into #444

@patrys
Copy link

patrys commented Feb 20, 2018

Couldn't this be improved by running pylint inside a server similar to the one used by Jedi and selectively invalidating the astroid cache for newly saved files?

@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.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants