From a6a49b13bb9c2d2dc11a371bc439329cfaee2b55 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Wed, 18 Oct 2023 13:19:21 -0700 Subject: [PATCH] Remove the /aider directory after installing the package. --- docker/Dockerfile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index d33ce63f6..7488eea01 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -1,8 +1,6 @@ FROM python:3.10-slim RUN apt-get update && apt-get install -y git && rm -rf /var/lib/apt/lists/* COPY . /aider -RUN pip install --upgrade pip && pip install /aider +RUN pip install --upgrade pip && pip install /aider && rm -rf /aider WORKDIR /app ENTRYPOINT ["aider"] - -