Commit 13de5110 by Erik Michaels-Ober

Merge pull request #560 from chrisseaton/downloading-filename

Make the downloading message print the actual file name, not just the package name plus .tar.gz.
parents 4aafe25f 6953313c
...@@ -262,7 +262,8 @@ fetch_tarball() { ...@@ -262,7 +262,8 @@ fetch_tarball() {
fi fi
if ! reuse_existing_tarball "$package_filename" "$checksum"; then if ! reuse_existing_tarball "$package_filename" "$checksum"; then
echo "Downloading ${package_filename}..." >&2 local tarball_filename=$(basename $package_url)
echo "Downloading ${tarball_filename}..." >&2
http head "$mirror_url" && http head "$mirror_url" &&
download_tarball "$mirror_url" "$package_filename" "$checksum" || download_tarball "$mirror_url" "$package_filename" "$checksum" ||
download_tarball "$package_url" "$package_filename" "$checksum" download_tarball "$package_url" "$package_filename" "$checksum"
......
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