actions/superlint
1
0
Fork 0
mirror of https://github.com/super-linter/super-linter.git synced 2024-12-22 23:32:10 -05:00
Code Issues Projects Releases Packages Wiki Activity

Added check to ensure volume is directory

Browse source 
ADDED - Present user with error when attempting to pass non-directory as volume
This commit is contained in:
Levi Muniz 2020-07-06 15:57:30 -06:00
parent 93bf4a79d4
commit 3cb5a0b6fd
No known key found for this signature in database
GPG key ID: 1003C39B6E338137
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
lib/linter.sh
View file

@ -597,6 +597,11 @@ GetGitHubVars() {
GITHUB_WORKSPACE="$DEFAULT_WORKSPACE"
fi
if [ ! -d "$GITHUB_WORKSPACE" ]; then
echo -e "${NC}${B[R]}${F[W]}ERROR:${NC} Provided volume is not a directory!${NC}"
exit 1
fi
echo "Linting all files in mapped directory:[$DEFAULT_WORKSPACE]"
# No need to touch or set the GITHUB_SHA