blob: edc435b62ae7252fa3e25e402ba785f46a38bc0e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/bin/sh
set -e
cd ${DGIT_INFRA_GETDMTXT_DATADIR-/srv/dgit.debian.org/data}
${DGIT_INFRA_GETDMTXT_UMASK-umask 002}
file=dm.txt
server=ftp-master.debian.org
path=$file
certargs=$(git config --default '' \
dgit-distro.debian.archive-query-tls-curl-ca-args \
|| (echo >&2 "git config failed"; exit 1))
with-lock-ex -f $file.lock sh -c "
if ! curl $certargs \
>$file.new https://$server/$path 2>$file.stderr; then
cat $file.stderr >&2
exit 127
fi
mv -f $file.new $file
"
|
