From 9fec0008b50322ee86a75cec69ddd9a2e8a2aa10 Mon Sep 17 00:00:00 2001 From: Jamil Bou Kheir Date: Fri, 3 Sep 2021 18:18:56 +0000 Subject: [PATCH] debian 10 fix --- .ci/provision/debian_10.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/provision/debian_10.sh b/.ci/provision/debian_10.sh index e184bca39..fcff7a6c9 100755 --- a/.ci/provision/debian_10.sh +++ b/.ci/provision/debian_10.sh @@ -25,7 +25,7 @@ sudo apt-get install -y -q \ # Bug in the latest libcurl3-gnutls causes git to fail. # See https://superuser.com/questions/1642858/git-on-debian-10-backports-throws-fatal-unable-to-access-https-github-com-us -sudo apt-get install libcurl3-gnutls=7.64.0-4+deb10u2 +sudo apt-get install -y -q libcurl3-gnutls=7.64.0-4+deb10u2 # Set locale sudo sed -i '/en_US.UTF-8/s/^# //g' /etc/locale.gen