From 62886d903ce49fc0901e943c5474c832ca45d4a6 Mon Sep 17 00:00:00 2001 From: "dylan.araps@gmail.com" Date: Thu, 9 Jan 2020 16:38:43 +0000 Subject: kiss: Use curl instead of wget. FossilOrigin-Name: e08e18121ca61ad9cae84d12d9b5e0dbf63ad4a0f9ff93cb2c80885b6b42b54d --- kiss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kiss') diff --git a/kiss b/kiss index 53bf47f..dd6f5d1 100755 --- a/kiss +++ b/kiss @@ -148,7 +148,7 @@ pkg_sources() { # Remote source. elif [ -z "${src##*://*}" ]; then - wget "$src" || { + curl "$src" -o "${src##*/}" || { rm -f "${src##*/}" die "$1" "Failed to download $src" } -- cgit v1.2.3