X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit.git;a=blobdiff_plain;f=infra%2Fget-dm-txt;fp=infra%2Fget-dm-txt;h=df715d069b8de1aa9ee3f1d08e89d31ff6804a8f;hp=7902c1c559d023f0ee800bed11f83546188e025a;hb=bdda173e853cc3ed9178b32810bfb5b1e64d7749;hpb=650fbf1f44c1331c5206c468d2245b62b4221123 diff --git a/infra/get-dm-txt b/infra/get-dm-txt index 7902c1c5..df715d06 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