From 52662144d3428134a8a6f3d9c24a8d98ca90b2ea Mon Sep 17 00:00:00 2001 From: Marco Pesenti Gritti Date: Mon, 04 Dec 2006 21:19:55 +0000 Subject: Remove since it's outdated anyway, we will probably use an rc when we turn it back on. --- (limited to 'pylint.sh') diff --git a/pylint.sh b/pylint.sh deleted file mode 100755 index 193c79b..0000000 --- a/pylint.sh +++ /dev/null @@ -1,34 +0,0 @@ -#!/bin/sh - -# Errors that we may fix in the future -# -# C0301 Line length -# W0201 Attribute defined outside __init__ -# R0201 Method could be a function -TODO="C0301,W0201,R0201" - -# Errors we don't like -# -# W0613 Unused argument (glib signals) -# W0511 - FIXME/TODO/XXX -# W0302 - Too many lines in module -# I0011 - Locally disabled messages -DISABLE="W0613,W0511,W0612,W0302,I0011" - -MSGS="$TODO,$DISABLE" -ARG="sugar" - -pylint \ - --disable-all \ - --include-ids=y \ - --enable-variables=y \ - --enable-exceptions=y \ - --enable-miscellaneous=y \ - --enable-format=y \ - --enable-classes=y \ - --disable-msg=$MSGS \ - --reports=n \ - --enable-metrics=n \ - --indent-string=" " \ - --ignore="SVGdraw.py" \ - $ARG -- cgit v0.9.1