mirror of
https://github.com/super-linter/super-linter.git
synced 2024-11-22 08:41:02 -05:00
Feat: Make GITHUB_WORKSPACE overridable in RUN_LOCAL Mode
This commit is contained in:
parent
7f23223ed5
commit
90a1f525b0
1 changed files with 8 additions and 4 deletions
|
@ -579,6 +579,14 @@ GetGitHubVars()
|
||||||
##########################################
|
##########################################
|
||||||
echo "NOTE: ENV VAR [RUN_LOCAL] has been set to:[true]"
|
echo "NOTE: ENV VAR [RUN_LOCAL] has been set to:[true]"
|
||||||
echo "bypassing GitHub Actions variables..."
|
echo "bypassing GitHub Actions variables..."
|
||||||
|
|
||||||
|
############################
|
||||||
|
# Set the GITHUB_WORKSPACE #
|
||||||
|
############################
|
||||||
|
if [ -z "$GITHUB_WORKSPACE" ]; then
|
||||||
|
GITHUB_WORKSPACE="$DEFAULT_WORKSPACE"
|
||||||
|
fi
|
||||||
|
|
||||||
echo "Linting all files in mapped directory:[$DEFAULT_WORKSPACE]"
|
echo "Linting all files in mapped directory:[$DEFAULT_WORKSPACE]"
|
||||||
|
|
||||||
# No need to touch or set the GITHUB_SHA
|
# No need to touch or set the GITHUB_SHA
|
||||||
|
@ -586,10 +594,6 @@ GetGitHubVars()
|
||||||
# No need to touch or set the GITHUB_ORG
|
# No need to touch or set the GITHUB_ORG
|
||||||
# No need to touch or set the GITHUB_REPO
|
# No need to touch or set the GITHUB_REPO
|
||||||
|
|
||||||
############################
|
|
||||||
# Set the GITHUB_WORKSPACE #
|
|
||||||
############################
|
|
||||||
GITHUB_WORKSPACE="$DEFAULT_WORKSPACE"
|
|
||||||
|
|
||||||
#################################
|
#################################
|
||||||
# Set the VALIDATE_ALL_CODEBASE #
|
# Set the VALIDATE_ALL_CODEBASE #
|
||||||
|
|
Loading…
Reference in a new issue