diff --git a/Jenkinsfile b/Jenkinsfile index 8197ab9..c4923e6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -8,16 +8,16 @@ pipeline { // Check for spaces or mixed indentation sh ''' # 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..." - 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..." - 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}" . || \ - grep -nrP '^\t+ +' --include="*.{$FILE_EXTENSIONS}" .; then + if grep -nrP "^[ ]+" --include="*.{$FILE_EXTENSIONS}" . || \ + grep -nrP "^\t+ +" --include="*.{$FILE_EXTENSIONS}" .; then echo "Indentation issues detected. Please fix the above lines." exit 1 else