From 681e40f90277605f745f36a2d302087bc18254ce Mon Sep 17 00:00:00 2001 From: Tim Meusel Date: Wed, 20 May 2026 20:05:07 +0200 Subject: [PATCH] Dockerfile: Use leiningen from Debian We do not need latest and greatest leiningen. So we don't have to pull it from GitHub. And the Debian apt repo is more trustworthy than pulling a random script with wget from HEAD branch. Signed-off-by: Tim Meusel --- Dockerfile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index 74b2df1cd..5c3853b76 100644 --- a/Dockerfile +++ b/Dockerfile @@ -4,11 +4,9 @@ RUN apt-get update && \ apt-get install -y --no-install-recommends \ openjdk-17-jdk-headless \ rpm \ + leiningen \ && rm -rf /var/lib/apt/lists/* -RUN wget -q https://raw.githubusercontent.com/technomancy/leiningen/stable/bin/lein -O /usr/local/bin/lein && \ - chmod a+x /usr/local/bin/lein - RUN git config --global user.email "openvox@voxpupuli.org" && \ git config --global user.name "Vox Pupuli" && \ git config --global --add safe.directory /code