Fix jenkinsfile
All checks were successful
Flare Microsystems Git/FlarePublic/gitea-themes/pipeline/pr-master This commit looks good
All checks were successful
Flare Microsystems Git/FlarePublic/gitea-themes/pipeline/pr-master This commit looks good
This commit is contained in:
6
Jenkinsfile
vendored
6
Jenkinsfile
vendored
@@ -7,12 +7,12 @@ pipeline {
|
|||||||
script {
|
script {
|
||||||
// Check for spaces or mixed indentation
|
// Check for spaces or mixed indentation
|
||||||
sh '''
|
sh '''
|
||||||
EXTENSIONS={css,js,json,java,bat,ps1,py,cs,html,c,cpp,h,hpp,cmd}
|
EXTENSIONS=css,js,json,java,bat,ps1,py,cs,html,c,cpp,h,hpp,cmd
|
||||||
if grep -P "^[ ]+" -r --include=*.$EXTENSIONS ; then
|
if grep -P "^[ ]+" -r --include=*.{$EXTENSIONS} ; then
|
||||||
echo "Error: Files contain spaces instead of tabs for indentation."
|
echo "Error: Files contain spaces instead of tabs for indentation."
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
if grep -P "^\\t+ +" -r --include=*.$EXTENSIONS ; then
|
if grep -P "^\\t+ +" -r --include=*.{$EXTENSIONS} ; then
|
||||||
echo "Error: Files contain mixed tabs and spaces for indentation."
|
echo "Error: Files contain mixed tabs and spaces for indentation."
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|||||||
Reference in New Issue
Block a user