[Pydev-users] [Users] PyLint - which one does PyDev pick up?

[SourceForge.net <no...@so...>]

The following forum message was posted by piotr_dobrogost at http://sourceforge.net/projects/pydev/forums/forum/293649/topic/4619930:

Hi!

I have PyLint installed in one virtualenv (and configured in PyDev's preferences
for PyLint) while my project is configured to use another virtualenv (as Python
interpreter) which has also another PyLint installed. It seems that PyDev picks
up PyLint installed in the virtualenv set as interpreter for the project and
not the one set in the PyDev's preferences for PyLint (the setting "Location
of pylint (lint.py)").
Is this known fact?
Is this a feature or a bug?
If it's a feature is there any information on this subject in the docs?