FlarePublic/gitea-themes
4
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feature/fix_linter_fuckup #4

Merged
Vulpovile merged 31 commits from feature/fix_linter_fuckup into master 2025-01-12 00:11:02 +00:00
Conversation 1 Commits 31 Files Changed 6 +36 -20
4 changed files with 36 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 0f3288145e - Show all commits

28
Jenkinsfile vendored
View File

@@ -7,16 +7,28 @@ pipeline {
script {
// Check for spaces or mixed indentation
sh '''
EXTENSIONS=css,js,json,java,bat,ps1,py,cs,html,c,cpp,h,hpp,cmd
if grep -P "^[ ]+" -r --include=*.{$EXTENSIONS} ; then
echo "Error: Files contain spaces instead of tabs for indentation."
FILE_EXTENSIONS="css json js java py ps1 cs cmd bat htm html cpp c h hpp"
INCLUDE_PATTERNS=$(echo $FILE_EXTENSIONS | sed 's/ /,*.*/g; s/^/*.*/')
# Convert FILE_EXTENSIONS to --include pattern
INCLUDE_PATTERNS=$(echo $FILE_EXTENSIONS | sed 's/ /,*.*/g; s/^/*.*/')
echo "Checking for lines starting with spaces in $FILE_EXTENSIONS files..."
grep -nrP '^[ ]+' --include="$INCLUDE_PATTERNS" . | sed 's/\\([^:]*\\):\\([^:]*\\):\\([ ]*\\).*/File: \\1, Line: \\2, Found: \\3/' || echo "No lines with spaces found."
echo "Checking for lines with mixed tabs and spaces in $FILE_EXTENSIONS files..."
grep -nrP '^\t+ +' --include="$INCLUDE_PATTERNS" . | sed 's/\\([^:]*\\):\\([^:]*\\):\\(\\t* +\\).*/File: \\1, Line: \\2, Found: \\3/' || echo "No lines with mixed indentation found."
if grep -nrP '^[ ]+' --include="$INCLUDE_PATTERNS" . || \
grep -nrP '^\t+ +' --include="$INCLUDE_PATTERNS" .; then
echo "Indentation issues detected. Please fix the above lines."
exit 1
else
echo "No indentation issues detected."
exit 0
fi
if grep -P "^\\t+ +" -r --include=*.{$EXTENSIONS} ; then
echo "Error: Files contain mixed tabs and spaces for indentation."
exit 1
fi
echo "No indentation errors detected."
'''
}
}