From 17ba813a6dfb13866a20d10cf006d6c8c6535544 Mon Sep 17 00:00:00 2001
From: cdce8p <30130371+cdce8p@users.noreply.github.com>
Date: Thu, 1 Mar 2018 18:02:19 +0100
Subject: [PATCH] Changed default from `all` to `changed` (#12660)

* Default option now '--changed'
* to check all files, use: '--all' or 'tox -e lint'
---
 script/lint | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/script/lint b/script/lint
index a024562e824..bfce996788e 100755
--- a/script/lint
+++ b/script/lint
@@ -3,7 +3,9 @@
 
 cd "$(dirname "$0")/.."
 
-if [ "$1" = "--changed" ]; then
+if [ "$1" = "--all" ]; then
+  tox -e lint
+else
   export files="`git diff upstream/dev... --name-only | grep -e '\.py$'`"
   echo "================================================="
   echo "FILES CHANGED (git diff upstream/dev... --name-only)"
@@ -22,6 +24,4 @@ if [ "$1" = "--changed" ]; then
   echo "================"
   pylint $files
   echo
-else
-  tox -e lint
 fi