PyLint 1.0.0 с PyDev + Eclipse: опция «include-ids» больше не разрешена, нарушает интеграцию Eclipse

Как отмечено в этом вопросе:Как мне получить идентификаторы сообщений Pylint, которые будут отображаться после pylint-1.0.0?

Пилинт 1.0.0 больше не принимает "включают в себя идентификаторы» вариант. (Возвращаетсяlint.py: error: нет такой опции: --include-ids "). К сожалению, в интеграции с PyDev / Eclipse есть этот маленький самородок: "--Include-ids = y всегда включено ... ".

Как отключить этот аргумент, чтобы Pylint работал с Eclipse?

[Я знаю, другие альтернативы включают установку более старой версии Pylint или запуск Pylint из командной строки без этой опции (которая работает), но я 'я хотел бы иметь интеграцию с Eclipse.]

Ответы на вопрос(3)

Ваш ответ на вопрос