From ef191e823865e4be2cb535601e785039010d5b93 Mon Sep 17 00:00:00 2001 From: Julien Chaffraix Date: Mon, 15 May 2023 09:52:02 -0700 Subject: [PATCH] Retry failed package installs The CI is failing due to some flaky connection to the Ubuntu repository: > E: Failed to fetch Connection failed [IP: ] This has happened for other projects and the recommendation is to do retry those fetches: https://github.com/actions/runner-images/issues/6894 --- ci/bin/make-debianish-package | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/ci/bin/make-debianish-package b/ci/bin/make-debianish-package index 5b830b301faf4..caf60b799a277 100755 --- a/ci/bin/make-debianish-package +++ b/ci/bin/make-debianish-package @@ -34,9 +34,9 @@ OUT=${OUT:-/var/out} mkdir -p "$OUT" # Environment set up -apt-get update -y +apt-get -o Acquire::Retries=3 update -y apt-get clean -apt-get install -y devscripts equivs +apt-get -o Acquire::Retries=3 install -y devscripts equivs # Copy the debian directory to the root of the git repo # so that all the devscripts command work. @@ -58,7 +58,7 @@ dch --create -v "${FULL_VERSION}" --package "${PKGBASE}" --controlmaint --distri # Build debian package that depends on build-depends, and install it mk-build-deps dpkg -i --force-depends "$BUILD_DEPS" -apt-get install -y -f +apt-get -o Acquire::Retries=3 install -y -f mv "$BUILD_DEPS" "$OUT" # Build the actual debian packages