Update download_and_extract.sh

This commit is contained in:
Andrew Cavanaugh 2020-05-08 10:53:06 -04:00 committed by GitHub
parent 08bc507e4c
commit dad62f51c9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -137,7 +137,7 @@ download_and_extract() {
exit 1
fi
# delete anything after the '?' in a url that might confound f
# delete anything after the '?' in a url that may mask true file extension
url=$(echo "${url}" | sed "s/\?.*//")
if [[ "${url}" == *gz ]]; then