Switch from wget to curl for downloads. this removes a dependency, and theoretically should not lose any functionality. It is experimental, however, so please watch for bugs.

This commit is contained in:
stormdragon2976 2023-01-21 01:16:26 -05:00
parent 8eb6603fb5
commit ac1d481286

View File

@ -192,7 +192,7 @@ download() {
fi fi
# Skip if the item is in cache. # Skip if the item is in cache.
test -e "${cache}/${dest}" && continue test -e "${cache}/${dest}" && continue
if ! wget -4 -O "${cache}/${dest}" "${i}" ; then if ! curl -4 --output "${cache}/${dest}" "${i}" ; then
echo "Could not download \"$i\"..." echo "Could not download \"$i\"..."
exit 1 exit 1
fi fi
@ -473,7 +473,6 @@ requiredPackages=(
"curl" "curl"
"dialog" "dialog"
"unzip" "unzip"
"wget"
) )
for i in "${requiredPackages[@]}" ; do for i in "${requiredPackages[@]}" ; do
if ! command -v $i > /dev/null 2>&1 ; then if ! command -v $i > /dev/null 2>&1 ; then