From d412d6c85f576aa5e527c63a3ce43d515215cb1e Mon Sep 17 00:00:00 2001 From: Tim Burks Date: Wed, 1 Mar 2023 20:05:35 -0800 Subject: [PATCH] Replace wildcards with specific file names in download script. (#1062) --- downloadLatest.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) mode change 100755 => 100644 downloadLatest.sh diff --git a/downloadLatest.sh b/downloadLatest.sh old mode 100755 new mode 100644 index a9adbba49..a840dc928 --- a/downloadLatest.sh +++ b/downloadLatest.sh @@ -84,10 +84,12 @@ printf "\n" cd "$HOME" || exit mkdir -p "$HOME/.registry/bin" mv "${tmp}/registry" "$HOME/.registry/bin" -mv "${tmp}/registry-lint-*" "$HOME/.registry/bin" +mv "${tmp}/registry-lint-api-linter" "$HOME/.registry/bin" +mv "${tmp}/registry-lint-spectral" "$HOME/.registry/bin" printf "Copied registry into the $HOME/.registry/bin folder.\n" chmod +x "$HOME/.registry/bin/registry" -chmod +x "$HOME/.registry/bin/registry-lint-*" +chmod +x "$HOME/.registry/bin/registry-lint-api-linter" +chmod +x "$HOME/.registry/bin/registry-lint-spectral" # Print message printf "\n"