From 0c0b1a933b672b50e117db754ae474d5ad58b7ff Mon Sep 17 00:00:00 2001 From: Gabe Stocco <98900+gfs@users.noreply.github.com> Date: Mon, 11 Mar 2024 23:26:40 +0000 Subject: [PATCH] Fix File-Globs (#25) * Disable Bash Glob Expansion in Entrypoint.sh --- entrypoint.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/entrypoint.sh b/entrypoint.sh index 572a8e4..d0d0571 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -37,4 +37,7 @@ else Idopts="--ignore-rule-ids $6" fi +# Prevent glob expansion, fix ignore-globs parsing +set -o noglob + /tools/devskim analyze --source-code "$ScanTarget" --output-file "$OutputDirectory/$3" $8 $Opts --ignore-globs $5 $Idopts $OptionsJsonArg