From 144751bfa90bc9fcdfda9a1343821d05abe1f21e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Glimm?= <git@uncleowen.de>
Date: Thu, 23 Apr 2026 20:52:06 +0200
Subject: [PATCH] Don't install bash.

https://github.com/pmd/pmd/pull/5623 was fixed. There is no longer a
need to install bash.
---
 Dockerfile | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 99efcc3..223ea44 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -15,13 +15,6 @@ ENV PATH=${PMD_HOME}/bin:${PATH}
 # bring global args into scope
 ARG PMD_VERSION
 
-RUN set -eux; \
-    apk add --no-cache \
-        # currently needed to run PMD, until https://github.com/pmd/pmd/pull/5623
-        bash \
-    ; \
-    rm -rf /var/cache/apk/*
-
 RUN set -eux; \
     wget -O /pmd-dist-${PMD_VERSION}-bin.zip https://github.com/pmd/pmd/releases/download/pmd_releases%2F${PMD_VERSION}/pmd-dist-${PMD_VERSION}-bin.zip; \
     wget -O /pmd-dist-${PMD_VERSION}-bin.zip.asc https://github.com/pmd/pmd/releases/download/pmd_releases%2F${PMD_VERSION}/pmd-dist-${PMD_VERSION}-bin.zip.asc || true; \