summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xinfra/get-dm-txt4
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