From 4ddd4d68919f74571976bb84aa2bce48ede39be6 Mon Sep 17 00:00:00 2001 From: Markus Frosch Date: Fri, 1 May 2020 17:01:34 +0200 Subject: [PATCH] Remove old pylint script --- terminatorlib/pylint.sh | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 terminatorlib/pylint.sh diff --git a/terminatorlib/pylint.sh b/terminatorlib/pylint.sh deleted file mode 100644 index 208bdb7a..00000000 --- a/terminatorlib/pylint.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/bash - -for file in *.py; do - line=$(pylint $file 2>&1 | grep "^Your code has been rated") - rating=$(echo $line | cut -f 7 -d ' ') - previous=$(echo $line | cut -f 10 -d ' ') - - if [ "$rating" != "10.00/10" ]; then - echo "$file rated $rating (previously $previous)" - fi -done