|
@@ -1911,7 +1911,6 @@ download() {
|
|
|
local url="$1"
|
|
local url="$1"
|
|
|
local output="${2:-}"
|
|
local output="${2:-}"
|
|
|
local -a cmd
|
|
local -a cmd
|
|
|
-
|
|
|
|
|
if command -v curl &>/dev/null || install_package --silent curl; then
|
|
if command -v curl &>/dev/null || install_package --silent curl; then
|
|
|
cmd=(curl --silent --fail --location)
|
|
cmd=(curl --silent --fail --location)
|
|
|
if [[ -n "$output" ]]; then
|
|
if [[ -n "$output" ]]; then
|
|
@@ -1926,7 +1925,6 @@ download() {
|
|
|
err "Unable to install wget or curl"
|
|
err "Unable to install wget or curl"
|
|
|
return 1
|
|
return 1
|
|
|
fi
|
|
fi
|
|
|
-
|
|
|
|
|
debug "${cmd[@]}" "$url"
|
|
debug "${cmd[@]}" "$url"
|
|
|
"${cmd[@]}" "$url"
|
|
"${cmd[@]}" "$url"
|
|
|
}
|
|
}
|
