chiark
/
gitweb
/
~ianmdlvl
/
dgit.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7a226db
)
Infra: get-dm-txt: Report if git-config fails
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 28 Jun 2015 22:07:41 +0000
(23:07 +0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 28 Jun 2015 22:10:22 +0000
(23:10 +0100)
infra/get-dm-txt
patch
|
blob
|
history
diff --git
a/infra/get-dm-txt
b/infra/get-dm-txt
index 02e73f0e0dddf5ab10bdc1941bb0589ecef02bec..32e89bb8bbb4891e4f10f41ea0b791827d3d75f3 100755
(executable)
--- 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 \