cyberpresidentvanellope/Bubberstation
1
0
Fork 0
mirror of https://github.com/Bubberstation/Bubberstation.git synced 2026-08-30 00:29:02 +01:00
Code Issues Packages Projects Releases Wiki Activity

The lint for whitespace issues now shouts louder (#68386)

Browse Source
This commit is contained in:
oranges
2022-07-13 15:34:45 +12:00
committed by GitHub
parent 120ecddbda
commit ed642a9311
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tools/ci/check_grep.sh
+2 -2
View File
@@ -168,11 +168,11 @@ if grep -P '^/*var/' code/**/*.dm; then
fi;
echo "Checking for whitespace issues"
if grep -P '(^ {2})|(^ [^ * ])|(^ +)' code/**/*.dm; then
echo "space indentation detected"
echo "ERROR: space indentation detected"
st=1
fi;
if grep -P '^\t+ [^ *]' code/**/*.dm; then
echo "mixed <tab><space> indentation detected"
echo "ERROR: mixed <tab><space> indentation detected"
st=1
fi;
nl='