소스 검색

Report cache filename at download

In certain cases, a user wants to know the cached filename to add the file themselves,
see https://github.com/pyenv/pyenv/issues/1743 .
Since we report both a filename and a URL anyway, there's no reason to report a wrong one.
pull/1908/head
Ivan Pozdeev 3 년 전
부모
커밋
891dc31c92
1개의 변경된 파일2개의 추가작업 그리고 2개의 파일을 삭제
  1. +2
    -2
      plugins/python-build/bin/python-build

+ 2
- 2
plugins/python-build/bin/python-build 파일 보기

@ -417,8 +417,8 @@ fetch_tarball() {
fi
if ! reuse_existing_tarball "$package_filename" "$checksum"; then
local tarball_filename="$(basename "$package_url")"
echo "Downloading ${tarball_filename}..." >&2
# Report the cached file name -- sometimes, it's useful to know (#1743)
echo "Downloading ${package_filename}..." >&2
http head "$mirror_url" &&
download_tarball "$mirror_url" "$package_filename" "$checksum" ||
download_tarball "$package_url" "$package_filename" "$checksum"

불러오는 중...
취소
저장