From: Ian Jackson Date: Sun, 28 Jun 2015 22:07:41 +0000 (+0100) Subject: Infra: get-dm-txt: Report if git-config fails X-Git-Tag: debian/0.30~45 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit.git;a=commitdiff_plain;h=ebe0df56422256565f85b29f78fe59d35656f94e;ds=sidebyside Infra: get-dm-txt: Report if git-config fails --- diff --git a/infra/get-dm-txt b/infra/get-dm-txt index 02e73f0e..32e89bb8 100755 --- a/infra/get-dm-txt +++ b/infra/get-dm-txt @@ -7,7 +7,8 @@ file=dm.txt server=ftp-master.debian.org path=$file -certargs=$(git config dgit-distro.debian.archive-query-tls-curl-ca-args) +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 \