cyberpresidentvanellope/CHOMPStation2
1
0
Fork 0
mirror of https://github.com/CHOMPStation2/CHOMPStation2.git synced 2025-12-11 10:43:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

[MIRROR] next grep, no spaces (#10548)

Browse Source 
Co-authored-by: Kashargul <144968721+Kashargul@users.noreply.github.com>
This commit is contained in:
CHOMPStation2StaffMirrorBot
2025-03-29 14:13:04 -07:00
committed by GitHub
parent 16a213f699
commit 8d0febfbb6
104 changed files with 1278 additions and 1189 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
tools/ci/validate_files.sh
View File

@@ -115,6 +115,13 @@ section "code issues"
# FAILED=1
# fi
part "space indentation"
if grep -P '(^ {2})|(^ [^ * ])|(^ +)' $code_files; then
echo
echo -e "${RED}ERROR: space indentation detected.${NC}"
FAILED=1
fi;
part "mixed tab/space indentation"
if grep -P '^\t+ [^ *]' $code_files; then
echo