summaryrefslogtreecommitdiff
path: root/infra/get-dm-txt
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-06-28 15:55:48 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-06-28 15:58:52 +0100
commite4cdef05877e6480ff65ffe283db28a11d1bf150 (patch)
treec8be24b4932cc38d6120c0b4e6c24d631987f580 /infra/get-dm-txt
parent6342c9fba5962066bb4606c6d930fe5bc3441851 (diff)
Infra: get-dm-txt: Use curl
Diffstat (limited to 'infra/get-dm-txt')
-rwxr-xr-xinfra/get-dm-txt6
1 files changed, 3 insertions, 3 deletions
diff --git a/infra/get-dm-txt b/infra/get-dm-txt
index 3c3a62c..9885f9e 100755
--- a/infra/get-dm-txt
+++ b/infra/get-dm-txt
@@ -8,11 +8,11 @@ server=ftp-master.debian.org
path=$file
cert=/etc/ssl/certs/$server.pem
-certargs="--ca-certificate=$cert --ca-directory=/dev/enoent"
+certargs="--cacert=$cert --capath=/dev/enoent"
with-lock-ex -f $file.lock sh -c "
- if ! wget $certargs \
- -O $file.new https://$server/$path >$file.stderr 2>&1; then
+ if ! curl $certargs \
+ >$file.new https://$server/$path 2>$file.stderr; then
cat $file.stderr >&2
exit 127
fi