add epicbox-pmd image

StepicOrg · Oct 31, 2018 · 61eb979 · 61eb979
1 parent 058dba9
commit 61eb979
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/epicbox-pmd/Dockerfile b/epicbox-pmd/Dockerfile
@@ -0,0 +1,17 @@
+FROM openjdk:8u181-alpine
+MAINTAINER Stepik Team <[email protected]>
+
+ENV PMD_VERSION 6.9.0
+ENV PATH /opt/pmd/bin:$PATH
+
+RUN apk --no-cache add bash wget unzip && \
+    mkdir -p /opt/pmd && \
+    wget -O /tmp/pmd.zip "https://github.com/pmd/pmd/releases/download/pmd_releases%2F$PMD_VERSION/pmd-bin-$PMD_VERSION.zip" && \
+    unzip /tmp/pmd.zip -d /tmp && \
+    cp -R /tmp/pmd-bin-$PMD_VERSION/* /opt/pmd && \
+    rm /tmp/pmd.zip && \
+    rm -rf /tmp/pmd-bin-$PMD_VERSION && \
+    apk del wget unzip
+
+RUN addgroup -g 1000 -S pmd && \
+    adduser -u 1000 -S pmd -G pmd