From 76c4fbcc3dcc576cb7bbaa7d7cfe101eb5e8d4d0 Mon Sep 17 00:00:00 2001 From: Vulpovile Date: Sat, 11 Jan 2025 15:03:01 -0800 Subject: [PATCH] Fix jenkinsfile --- Jenkinsfile | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 6e962eb..527f1ed 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -11,15 +11,11 @@ pipeline { 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." + grep -nrP '^[ ]+' --include="$INCLUDE_PATTERNS" . || 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." + grep -nrP '^\t+ +' --include="$INCLUDE_PATTERNS" . || echo "No lines with mixed indentation found." if grep -nrP '^[ ]+' --include="$INCLUDE_PATTERNS" . || \ grep -nrP '^\t+ +' --include="$INCLUDE_PATTERNS" .; then