summaryrefslogtreecommitdiff
path: root/infra/get-dm-txt
blob: 7902c1c559d023f0ee800bed11f83546188e025a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#!/bin/sh
set -e

cd /srv/dgit.debian.org/data

file=dm.txt
server=ftp-master.debian.org
path=$file
cert=/etc/ssl/certs/$server.pem

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
		cat $file.stderr >&2
		exit 127
	fi
	mv -f $file.new $file
"