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

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

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

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