From a0eeb9fbf282f939edb103b73ca448b96b6214eb Mon Sep 17 00:00:00 2001 From: Iker Pedrosa Date: Fri, 14 Jul 2023 11:39:33 +0200 Subject: [PATCH] CI: update debian repos Latest debian version changed the location and format for the repos file. Signed-off-by: Iker Pedrosa --- share/containers/debian.dockerfile | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/share/containers/debian.dockerfile b/share/containers/debian.dockerfile index c58e4268..a9d5ba4b 100644 --- a/share/containers/debian.dockerfile +++ b/share/containers/debian.dockerfile @@ -2,9 +2,8 @@ ARG OS_IMAGE="debian:latest" FROM "${OS_IMAGE}" AS build -RUN cat /etc/apt/sources.list -RUN sed -i '/deb-src/d' /etc/apt/sources.list \ - && sed -i '/^deb /p;s/ /-src /' /etc/apt/sources.list +RUN cat /etc/apt/sources.list.d/debian.sources +RUN sed -i 's/Types: deb/Types: deb deb-src/g' /etc/apt/sources.list.d/debian.sources RUN export DEBIAN_PRIORITY=critical \ && export DEBIAN_FRONTEND=noninteractive RUN apt-get update -y \