blob: 3c3a62c24847d3d2d5bd634b5d407720b4a6fdb0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#!/bin/sh
set -e
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="--ca-certificate=$cert --ca-directory=/dev/enoent"
with-lock-ex -f $file.lock sh -c "
if ! wget $certargs \
-O $file.new https://$server/$path >$file.stderr 2>&1; then
cat $file.stderr >&2
exit 127
fi
mv -f $file.new $file
"
|
