4 cd ${DGIT_INFRA_GETDMTXT_DATADIR-/srv/dgit.debian.org/data}
7 server=ftp-master.debian.org
9 cert=/etc/ssl/certs/$server.pem
11 certargs="--cacert=$cert --capath=/dev/enoent"
13 with-lock-ex -f $file.lock sh -c "
15 >$file.new https://$server/$path 2>$file.stderr; then