From 94cbf879a3c65940fd5ab6edf4034c3a6805e266 Mon Sep 17 00:00:00 2001 From: Becky Smith Date: Fri, 19 Apr 2024 12:41:27 +0100 Subject: [PATCH] Update ppa domain ppa domains changed in 2022; although the old ones were supposed to remain indefinitely, they're currently inaccessible; but we should update to the new one anyway https://blog.launchpad.net/ppa/new-domain-names-for-ppas --- docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index 627fdc98..222924a0 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -17,7 +17,7 @@ RUN rm -f /etc/apt/apt.conf.d/docker-clean # see: https://gist.github.com/tiran/2dec9e03c6f901814f6d1e8dad09528e # use space efficient utility from base image RUN --mount=type=cache,target=/var/cache/apt \ - echo "deb http://ppa.launchpad.net/deadsnakes/ppa/ubuntu jammy main" > /etc/apt/sources.list.d/deadsnakes-ppa.list &&\ + echo "deb https://ppa.launchpadcontent.net/deadsnakes/ppa/ubuntu jammy main" > /etc/apt/sources.list.d/deadsnakes-ppa.list &&\ /usr/lib/apt/apt-helper download-file 'https://keyserver.ubuntu.com/pks/lookup?op=get&search=0xf23c5a6cf475977595c89f51ba6932366a755776' /etc/apt/trusted.gpg.d/deadsnakes.asc # install any additional system dependencies