From: Hans-Christoph Steiner <hans@eds.org>
Date: Thu, 15 Sep 2016 09:12:49 +0000 (+0200)
Subject: buildserver: retry apt-get downloads 20 times
X-Git-Tag: 0.8~159^2~3
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=3651e7eb9aaefecd03be67ff4d6d858273f5c56e;p=fdroidserver.git

buildserver: retry apt-get downloads 20 times

Try harder before failing the whole buildserver setup.
---

diff --git a/buildserver/provision-apt-get-install b/buildserver/provision-apt-get-install
index 09909050..e702f874 100644
--- a/buildserver/provision-apt-get-install
+++ b/buildserver/provision-apt-get-install
@@ -11,6 +11,9 @@ sed -i "s,http://ftp.uk.debian.org/debian/,${debian_mirror},g" /etc/apt/sources.
 printf 'APT::Install-Recommends "0";\nAPT::Install-Suggests "0";\n' \
        > /etc/apt/apt.conf.d/99no-install-recommends
 
+printf 'APT::Acquire::Retries "20";\n' \
+       > /etc/apt/apt.conf.d/99acquire-retries
+
 if grep --quiet jessie /etc/apt/sources.list; then
     echo "deb $debian_mirror jessie-backports main" > /etc/apt/sources.list.d/backports.list
 fi