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 +31 -20
4 changed files with 31 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 6beee92452 - Show all commits

10
Jenkinsfile vendored
View File

@@ -8,16 +8,16 @@ pipeline {
// Check for spaces or mixed indentation // Check for spaces or mixed indentation
sh ''' sh '''
# Define file extensions to check # Define file extensions to check
FILE_EXTENSIONS="css|json|js|java|htm|html|cpp|c|h|p|py|go|cs" FILE_EXTENSIONS="css,json,js,java,htm,html,cpp,c,h,p,py,go,cs"
echo "Checking for spaces in indentation..." echo "Checking for spaces in indentation..."
grep -nrP '^[ ]+' --include="*.{$FILE_EXTENSIONS}" . || echo "No lines with spaces found." grep -nrP "^[ ]+" --include="*.{$FILE_EXTENSIONS}" . || echo "No lines with spaces found."
echo "Checking for mixed indentation..." echo "Checking for mixed indentation..."
grep -nrP '^\t+ +' --include="*.{$FILE_EXTENSIONS}" . || echo "No lines with mixed indentation found." grep -nrP "^\t+ +" --include="*.{$FILE_EXTENSIONS}" . || echo "No lines with mixed indentation found."
if grep -nrP '^[ ]+' --include="*.{$FILE_EXTENSIONS}" . || \ if grep -nrP "^[ ]+" --include="*.{$FILE_EXTENSIONS}" . || \
grep -nrP '^\t+ +' --include="*.{$FILE_EXTENSIONS}" .; then grep -nrP "^\t+ +" --include="*.{$FILE_EXTENSIONS}" .; then
echo "Indentation issues detected. Please fix the above lines." echo "Indentation issues detected. Please fix the above lines."
exit 1 exit 1
else else