diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-27 00:46:57 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-27 00:46:57 +0100 |
commit | bdda173e853cc3ed9178b32810bfb5b1e64d7749 (patch) | |
tree | 6d4559448df41a3fc0cfb096454ec1ce74d33448 | |
parent | 650fbf1f44c1331c5206c468d2245b62b4221123 (diff) |
Infra: get-dm-txt: Break out $certargs
-rwxr-xr-x | infra/get-dm-txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/infra/get-dm-txt b/infra/get-dm-txt index 7902c1c..df715d0 100755 --- a/infra/get-dm-txt +++ b/infra/get-dm-txt @@ -8,8 +8,10 @@ server=ftp-master.debian.org path=$file cert=/etc/ssl/certs/$server.pem +certargs="--ca-certificate=$cert --ca-directory=/dev/enoent" + with-lock-ex -f $file.lock sh -c " - if ! wget --ca-certificate=$cert --ca-directory=/dev/enoent \ + if ! wget $certargs \ -O $file.new https://$server/$path >$file.stderr 2>&1; then cat $file.stderr >&2 exit 127 |