diff options
| author | lovetox <philipp@hoerist.com> | 2022-03-27 19:39:37 +0300 |
|---|---|---|
| committer | lovetox <philipp@hoerist.com> | 2022-03-27 19:40:24 +0300 |
| commit | 41ae13d883d7283b9ab1e9715187cec5eb1ff01a (patch) | |
| tree | 68413afd57f44b7d1fd020ac80eb731a4efef451 /scripts | |
| parent | 40abcc5716d238235cf46d90ddffa9bbf68b0139 (diff) | |
other: Remove obsolete pylint script
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/dev/run-pylint.py | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/scripts/dev/run-pylint.py b/scripts/dev/run-pylint.py deleted file mode 100755 index 53db98f36..000000000 --- a/scripts/dev/run-pylint.py +++ /dev/null @@ -1,11 +0,0 @@ -#!/usr/bin/env python3 -# Copyright (C) 2006 Nikos Kouremenos <kourem@gmail.com> -# Copyright (C) 2016 Yann Leboulanger <asterix AT lagaule.org> - -import os -import sys - -if os.getcwd().endswith('dev'): - os.chdir('../../gajim/') # we were in scripts/dev - -os.system("pylint3 --generated-members= --additional-builtins='_' --disable=C0103,C0111,W0703,W0511,W0142,W0613,R0201,design " + "".join(sys.argv[1:])) |