diff options
Diffstat (limited to 'infra/get-dm-txt')
| -rwxr-xr-x | infra/get-dm-txt | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/infra/get-dm-txt b/infra/get-dm-txt new file mode 100755 index 0000000..0b9ab10 --- /dev/null +++ b/infra/get-dm-txt @@ -0,0 +1,21 @@ +#!/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 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 +" |