diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-28 15:55:48 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-28 15:58:52 +0100 |
commit | e4cdef05877e6480ff65ffe283db28a11d1bf150 (patch) | |
tree | c8be24b4932cc38d6120c0b4e6c24d631987f580 /infra | |
parent | 6342c9fba5962066bb4606c6d930fe5bc3441851 (diff) |
Infra: get-dm-txt: Use curl
Diffstat (limited to 'infra')
-rwxr-xr-x | infra/get-dm-txt | 6 |
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 |