PluginPyLint.py

changeset 77
87638b1c91b4
parent 75
9351836385cb
child 79
6e8029214468
equal deleted inserted replaced
76:0aebee3fdca9 77:87638b1c91b4
191 # 191 #
192 # Linux, Unix ... 192 # Linux, Unix ...
193 pylintScript = 'pylint' 193 pylintScript = 'pylint'
194 scriptSuffixes = ["", 194 scriptSuffixes = ["",
195 "-python{0}".format(majorVersion), 195 "-python{0}".format(majorVersion),
196 "{0}".format(majorVersion),] 196 "{0}".format(majorVersion),
197 ]
197 for minorVersion in minorVersions: 198 for minorVersion in minorVersions:
198 scriptSuffixes.append( 199 scriptSuffixes.append(
199 "-python{0}.{1}".format(majorVersion, minorVersion)) 200 "-python{0}.{1}".format(majorVersion, minorVersion))
200 # There could be multiple pylint executables in the path 201 # There could be multiple pylint executables in the path
201 # e.g. for different python variants 202 # e.g. for different python variants

eric ide

mercurial