diff options
| author | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2014-06-24 23:48:25 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2014-06-24 23:48:25 -0300 |
| commit | 686b828c74111f0f9cfe90448849c0259d2156fb (patch) | |
| tree | 8bc75e72ad55a7a6ad427dc6d5a00afc080e35c7 /pcr/spyder/pylint.patch | |
| parent | 116c454988f72dbc7890a61e7a7480043c341eb4 (diff) | |
| parent | 65091f01d8f8237f11c7880c87c436ef9b08d40b (diff) | |
Merge branch 'master' of ssh://projects.parabolagnulinux.org:1863/~git/abslibre
Diffstat (limited to 'pcr/spyder/pylint.patch')
| -rw-r--r-- | pcr/spyder/pylint.patch | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/pcr/spyder/pylint.patch b/pcr/spyder/pylint.patch new file mode 100644 index 000000000..faa1edcf1 --- /dev/null +++ b/pcr/spyder/pylint.patch @@ -0,0 +1,28 @@ +diff -Naur spyder-2.2.5/spyderplugins/widgets/pylintgui.py spyder-2.2.5-patched/spyderplugins/widgets/pylintgui.py +--- spyder-2.2.5/spyderplugins/widgets/pylintgui.py 2013-10-12 20:35:52.000000000 +0200 ++++ spyder-2.2.5-patched/spyderplugins/widgets/pylintgui.py 2013-11-12 00:42:22.809509805 +0100 +@@ -40,7 +40,7 @@ + _ = get_translation("p_pylint", dirname="spyderplugins")
+
+
+-PYLINT_PATH = programs.find_program('pylint')
++PYLINT_PATH = programs.find_program('pylint2')
+
+
+ def get_pylint_version():
+@@ -48,13 +48,13 @@ + global PYLINT_PATH
+ if PYLINT_PATH is None:
+ return
+- process = subprocess.Popen(['pylint', '--version'],
++ process = subprocess.Popen(['pylint2', '--version'],
+ stdout=subprocess.PIPE, stderr=subprocess.PIPE,
+ cwd=osp.dirname(PYLINT_PATH),
+ shell=True if os.name == 'nt' else False)
+ lines = to_unicode_from_fs(process.stdout.read()).splitlines()
+ if lines:
+- match = re.match('(pylint|pylint-script.py) ([0-9\.]*)', lines[0])
++ match = re.match('(pylint2|pylint-script.py) ([0-9\.]*)', lines[0])
+ if match is not None:
+ return match.groups()[1]
+
|