From b225f3d1e24a3934978360165b9d9e3361fb208b Mon Sep 17 00:00:00 2001 From: Vulpovile Date: Sat, 11 Jan 2025 15:05:21 -0800 Subject: [PATCH] Fix jenkinsfile --- Jenkinsfile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 527f1ed..f868094 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -9,13 +9,14 @@ pipeline { sh ''' 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" . || echo "No lines with spaces found." + 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" . || echo "No lines with mixed indentation found." + 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