mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-05 06:50:29 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

buildserver: retry apt-get downloads 20 times

Browse source 
Try harder before failing the whole buildserver setup.
This commit is contained in:
Hans-Christoph Steiner 2016-09-15 11:12:49 +02:00
parent 68ec7c2e88
commit 3651e7eb9a
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
buildserver/provision-apt-get-install
View file

@ -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' \ printf 'APT::Install-Recommends "0";\nAPT::Install-Suggests "0";\n' \
> /etc/apt/apt.conf.d/99no-install-recommends > /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 if grep --quiet jessie /etc/apt/sources.list; then
echo "deb $debian_mirror jessie-backports main" > /etc/apt/sources.list.d/backports.list echo "deb $debian_mirror jessie-backports main" > /etc/apt/sources.list.d/backports.list
fi fi