Ticket #30446: patch-widgets-pylintgui.py.diff

File patch-widgets-pylintgui.py.diff, 496 bytes (added by mbrethen@…, 13 years ago)

patch to look for pylint by its correct MacPorts name

  • spyderplugins/widgets/pylintgui.py

    old new  
    4242from spyderlib.utils.translations import get_translation
    4343_ = get_translation("p_pylint", dirname="spyderplugins")
    4444
    45 PYLINT_PATH = programs.get_nt_program_name('pylint')
     45PYLINT_PATH = programs.get_nt_program_name('pylint-2.7')
    4646
    4747def is_pylint_installed():
    4848    return programs.is_program_installed(PYLINT_PATH)