summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2014-11-08 16:37:03 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2014-11-08 22:22:20 +0000
commit6818e4c5450f8373142af7b739739c85ad63dc21 (patch)
treef12c18d0db601cfe63710678ecc519dc8c8c493c
parent180f3a96060482bc05c38f62121ad6c9b11981b2 (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-xinfra/get-dm-txt18
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
+"