4 cd /srv/dgit.debian.org/data
7 server=ftp-master.debian.org
9 cert=/etc/ssl/certs/$server.pem
11 with-lock-ex -f $file.lock sh -c "
12 if ! wget --ca-certificate=$cert --ca-directory=/dev/enoent \
13 -O $file.new https://$server/$path >$file.stderr 2>&1; then