#!/bin/sh
set -e
-cd /srv/dgit.debian.org/data
+cd ${DGIT_INFRA_GETDMTXT_DATADIR-/srv/dgit.debian.org/data}
file=dm.txt
server=ftp-master.debian.org
path=$file
cert=/etc/ssl/certs/$server.pem
+certargs="--cacert=$cert --capath=/dev/enoent"
+
with-lock-ex -f $file.lock sh -c "
- if ! wget --ca-certificate=$cert --ca-directory=/dev/enoent \
- -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