Commit 16a01222 by Sam Stephenson

Merge pull request #140 from jayferd/use-wget

use `wget` if it's available and curl isn't
parents afd0799a 772e175a
...@@ -89,12 +89,20 @@ make_package() { ...@@ -89,12 +89,20 @@ make_package() {
popd >&4 popd >&4
} }
if type curl &>/dev/null; then
fetch_url() { curl "$@" ;}
elif type wget &>/dev/null; then
fetch_url() { wget -O- "$@" ;}
else
fetch_url() { echo "curl or wget is required" >&2; exit 1 ;}
fi
fetch_tarball() { fetch_tarball() {
local package_name="$1" local package_name="$1"
local package_url="$2" local package_url="$2"
echo "Downloading ${package_url}..." >&2 echo "Downloading ${package_url}..." >&2
{ curl "$package_url" > "${package_name}.tar.gz" { fetch_url "$package_url" > "${package_name}.tar.gz"
tar xzvf "${package_name}.tar.gz" tar xzvf "${package_name}.tar.gz"
} >&4 2>&1 } >&4 2>&1
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment