Merge "Reuse .gitignore in whitespace linter"
This commit is contained in:
commit
93dadcb0db
|
@ -1,15 +1,7 @@
|
||||||
#!/usr/bin/env bash
|
#!/usr/bin/env bash
|
||||||
set -xe
|
set -x
|
||||||
|
|
||||||
RES=$(find . \
|
RES=$(git grep -E -l " +$")
|
||||||
-not -path "*/\.*" \
|
|
||||||
-not -path "*/*.egg-info/*" \
|
|
||||||
-not -path "*/releasenotes/build/*" \
|
|
||||||
-not -path "*/doc/build/*" \
|
|
||||||
-not -name "*.tgz" \
|
|
||||||
-not -name "*.html" \
|
|
||||||
-not -name "*.pyc" \
|
|
||||||
-type f -exec egrep -l " +$" {} \;)
|
|
||||||
|
|
||||||
if [[ -n $RES ]]; then
|
if [[ -n $RES ]]; then
|
||||||
exit 1
|
exit 1
|
||||||
|
|
Loading…
Reference in New Issue