mirror of
https://github.com/super-linter/super-linter.git
synced 2024-12-23 07:42:13 -05:00
Merge pull request #391 from GaboFDC/gf_fix_editorconfig
Editorconfig special case
This commit is contained in:
commit
91ea28661e
2 changed files with 5 additions and 3 deletions
|
@ -1187,7 +1187,6 @@ fi
|
||||||
########################
|
########################
|
||||||
# EDITORCONFIG LINTING #
|
# EDITORCONFIG LINTING #
|
||||||
########################
|
########################
|
||||||
echo ed: "$VALIDATE_EDITORCONFIG"
|
|
||||||
if [ "$VALIDATE_EDITORCONFIG" == "true" ]; then
|
if [ "$VALIDATE_EDITORCONFIG" == "true" ]; then
|
||||||
####################################
|
####################################
|
||||||
# Lint the files with editorconfig #
|
# Lint the files with editorconfig #
|
||||||
|
|
|
@ -530,8 +530,11 @@ function GetValidationInfo() {
|
||||||
VALIDATE_EDITORCONFIG="false"
|
VALIDATE_EDITORCONFIG="false"
|
||||||
fi
|
fi
|
||||||
else
|
else
|
||||||
# No linter flags were set - default all to true
|
# No linter flags were set
|
||||||
VALIDATE_EDITORCONFIG="true"
|
# special case checking for .editorconfig
|
||||||
|
if [ -f "$GITHUB_WORKSPACE/.editorconfig" ]; then
|
||||||
|
VALIDATE_EDITORCONFIG="true"
|
||||||
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
####################################
|
####################################
|
||||||
|
|
Loading…
Reference in a new issue