From 790f7ddee3ca02723fe3bd06ce5da8c4b79face6 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Wed, 18 Oct 2023 13:26:20 -0700 Subject: [PATCH] make the docker image a bit smaller --- docker/Dockerfile | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index 10db4c216..62ca2c262 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -1,5 +1,9 @@ FROM python:3.10-slim -RUN apt-get update && apt-get install -y git && rm -rf /var/lib/apt/lists/* && \ - pip install --no-cache-dir /aider && rm -rf /aider +COPY . /aider +RUN apt-get update && \ + apt-get install --no-install-recommends -y git && \ + rm -rf /var/lib/apt/lists/* && \ + pip install --no-cache-dir /aider && \ + rm -rf /aider WORKDIR /app ENTRYPOINT ["aider"]