From 375fb17caa8fc0443b9d30835cd1b86cedcac3fb Mon Sep 17 00:00:00 2001 From: wilou Date: Fri, 20 Oct 2023 08:39:12 +0000 Subject: [PATCH] Ajouter debmirror/Dockerfile --- debmirror/Dockerfile | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 debmirror/Dockerfile diff --git a/debmirror/Dockerfile b/debmirror/Dockerfile new file mode 100644 index 0000000..47419ea --- /dev/null +++ b/debmirror/Dockerfile @@ -0,0 +1,12 @@ +FROM debian:sid + +# Installer les dépendances nécessaires +RUN apt-get update && apt-get install -y debmirror gnupg wget + +# Importer les clés GPG pour le miroir Debian +RUN gpg --keyserver keyserver.ubuntu.com --recv-keys A7236886F3CCCAAD148A27F80E98404D386FA1D9 \ + && gpg --keyserver keyserver.ubuntu.com --recv-keys 4CB50190207B4758A3F73A796ED0E7B82643E131 + +WORKDIR /mirror + +CMD ["debmirror", "--host=ftp.fr.debian.org", "--root=debian", "--method=http", "--progress", "--dist=sid", "--section=main,contrib,non-free", "--i18n", "--arch=amd64", "--source", "--getcontents", "/mirror"]