diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-11-08 16:37:03 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-11-08 22:22:20 +0000 |
commit | 6818e4c5450f8373142af7b739739c85ad63dc21 (patch) | |
tree | f12c18d0db601cfe63710678ecc519dc8c8c493c | |
parent | 180f3a96060482bc05c38f62121ad6c9b11981b2 (diff) |
infra: Provide get-dm-txt
This script (which will become an example) fetches the Debian
ftpmasters' dm.txt file, which lists permissions granted to Debian
Maintainers.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-x | infra/get-dm-txt | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/infra/get-dm-txt b/infra/get-dm-txt new file mode 100755 index 0000000..7902c1c --- /dev/null +++ b/infra/get-dm-txt @@ -0,0 +1,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 +" |