diff options
author | Eric Bélanger <snowmaniscool@gmail.com> | 2012-11-04 06:14:57 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2012-11-15 14:27:20 +0100 |
commit | 54bad4c91d1d003a6d8c8e365d0d9fd724386b8e (patch) | |
tree | 9a89672ab30ef9444ffe654e7189eb9f1561517d | |
parent | fc95a5755667a06cd7bab7c4b24ea8ce331648b9 (diff) | |
download | devtools-54bad4c91d1d003a6d8c8e365d0d9fd724386b8e.tar.gz devtools-54bad4c91d1d003a6d8c8e365d0d9fd724386b8e.tar.xz |
checkpkg: replace wget usage by curl
Signed-off-by: Eric Bélanger <snowmaniscool@gmail.com>
Signed-off-by: Pierre Schmitz <pierre@archlinux.de>
-rw-r--r-- | checkpkg.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checkpkg.in b/checkpkg.in index d3a63ba..95bf049 100644 --- a/checkpkg.in +++ b/checkpkg.in @@ -58,7 +58,7 @@ for _pkgname in "${pkgname[@]}"; do elif [[ -f "$STARTDIR/$oldpkg" ]]; then ln -s "$STARTDIR/$oldpkg" "$oldpkg" else - wget --quiet "$pkgurl" + curl -fsLC - --retry 3 --retry-delay 3 -o "$oldpkg" "$pkgurl" fi fi |