From 7ca3d19a2ade66fd798d59c535984d1b47f77703 Mon Sep 17 00:00:00 2001 From: Vulpovile Date: Sat, 11 Jan 2025 14:54:29 -0800 Subject: [PATCH] Fix jenkinsfile --- Jenkinsfile | 24 +++++++----------------- 1 file changed, 7 insertions(+), 17 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 2106180..48086a2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -7,25 +7,15 @@ pipeline { script { // Check for spaces or mixed indentation sh ''' - grep -P "test" <<< "test" || echo "grep -P not supported" - - # Define file extensions to check - 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." - - echo "Checking for mixed indentation..." - 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 - echo "Indentation issues detected. Please fix the above lines." + if grep -P "^[ ]+" -r --include=*.css ; then + echo "Error: Files contain spaces instead of tabs for indentation." exit 1 - else - echo "No indentation issues detected." - exit 0 fi + if grep -P "^\\t+ +" -r --include=*.css ; then + echo "Error: Files contain mixed tabs and spaces for indentation." + exit 1 + fi + echo "No indentation errors detected." ''' } }