diff options
author | dylan.araps@gmail.com <dylan.araps@gmail.com> | 2020-02-11 15:33:37 +0000 |
---|---|---|
committer | dylan.araps@gmail.com <dylan.araps@gmail.com> | 2020-02-11 15:33:37 +0000 |
commit | a31b7558279d48a09d4574ec9fbdc1e4fe7c4f33 (patch) | |
tree | 1210ece60a8ca94f07b1df95ea3e705c5c13c5e9 /kiss | |
parent | bb4f0a663833cf8ed57656286c3e9c66a790dd3f (diff) | |
download | cpt-a31b7558279d48a09d4574ec9fbdc1e4fe7c4f33.tar.gz |
kiss: Show which file is downloaded
FossilOrigin-Name: 759588a379220e17c169a7a32c07aeed88227b7aec99332133c9bed30034e864
Diffstat (limited to 'kiss')
-rwxr-xr-x | kiss | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -188,6 +188,8 @@ pkg_sources() { ( repo_src=${src##git+} + log "$1" "Cloning ${repo_src%#*}" + [ "${src##*#*}" ] && shallow=--depth=1 cd "$mak_dir/$1/$dest" && @@ -197,6 +199,8 @@ pkg_sources() { # Remote source. elif [ -z "${src##*://*}" ]; then + log "$1" "Downloading $src" + curl "$src" -fLo "${src##*/}" || { rm -f "${src##*/}" die "$1" "Failed to download $src" |