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.]