commit 66ddfd11c18e369274d9792d0bdb87d33c356fff
parent e2d04426b72bf826686c79f0c3bb3e33790852e3
Author: Dylan Araps <dylan.araps@gmail.com>
Date: Tue, 11 Feb 2020 17:33:38 +0200
kiss: Show which file is downloaded
Diffstat:
1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/kiss b/kiss
@@ -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"