diff options
Diffstat (limited to 'pylint.sh')
-rwxr-xr-x | pylint.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/pylint.sh b/pylint.sh deleted file mode 100755 index f055f2e..0000000 --- a/pylint.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -TODO="C0111,C0301,C0322,W0311,C0324,W0331,W0212,W0611,W0613,W0201,W0106,W0622,W0403,W0102,W0404,W0704,W0402,W0702,W0401,E0602,E1102,C0321,E0611,E1103,W1001,E0213,W0107,R0921,R0401,E1111,W0101,W0105,W0601,W0602,W0703,W0701,W0312,W0231,W0233,F0401,W0612" - -BROKEN="C0103,E1101" - -DISABLE="W0142,R0913,W0621,R0903,R0201,R0904,W0511,W0232,R0902,W0603,R0914,C0302,C0102,I0011,R0911,R0912,R0901,R0801,R0923,R0915" - -pylint --include-ids=y --disable-msg=$TODO,$BROKEN,$DISABLE shell sugar |