diff options
author | Aurelien Desbrieres <aurelien@hackers.camp> | 2014-12-24 08:47:01 +0100 |
---|---|---|
committer | Aurelien Desbrieres <aurelien@hackers.camp> | 2014-12-24 08:47:01 +0100 |
commit | c91c5e5ebf2206fc48072184652671fc52b7c828 (patch) | |
tree | ac52e6e39d884141e1720e9f26197fac29c06311 /pcr/spyder/pylint.patch | |
parent | 3bd93335b33fa5583bca70cd3124b4aeaa42b138 (diff) | |
parent | f723263fa6daa1d85cf2993c9c1baf04138d7fc3 (diff) | |
download | abslibre-c91c5e5ebf2206fc48072184652671fc52b7c828.tar.gz abslibre-c91c5e5ebf2206fc48072184652671fc52b7c828.tar.bz2 abslibre-c91c5e5ebf2206fc48072184652671fc52b7c828.zip |
gnoduino updated
Diffstat (limited to 'pcr/spyder/pylint.patch')
-rw-r--r-- | pcr/spyder/pylint.patch | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/pcr/spyder/pylint.patch b/pcr/spyder/pylint.patch deleted file mode 100644 index faa1edcf1..000000000 --- a/pcr/spyder/pylint.patch +++ /dev/null @@ -1,28 +0,0 @@ -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]
-
|