sdkman / sdkman-cli

The SDKMAN! Command Line Interface
https://sdkman.io
Apache License 2.0
6.15k stars 632 forks source link

FIX: Remove download on error #1290

Open marc0der opened 7 months ago

helpermethod commented 7 months ago

I think a much more portable solution would to be to perform the cleanup in sdkman-install.sh

__sdkman_secure_curl_download "${download_url}" --output "${binary_input}" --dump-header "${tmp_headers_file}" || rm "${binary_input}"