Chris Pomeroy
2020-10-11 4a2cc1bc3be52594169249788a00e60dae50cc6e
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
FROM arm32v7/openjdk:11-slim
 
 
ENV JENKINS_PORT=8080
ENV JENKINS_HOME=/var/jenkins_home
ENV JENKINS_SLAVE_AGENT_PORT=50000
ENV JENKINS_UID=506
 
RUN mkdir -p /tmp/download && cd /tmp/download/ && \
 apt-get update && apt-get upgrade -y && apt-get install curl git -y && apt-get clean && \
 curl -L https://download.docker.com/linux/static/stable/armhf/docker-19.03.5.tgz | tar -xz -C /tmp/download && \
 rm -rf /tmp/download/docker/dockerd && \
 mv /tmp/download/docker/docker* /usr/local/bin/ && \
 rm -rf /tmp/download
 
 RUN useradd -u 506 -d "${JENKINS_HOME}" -m -s /bin/bash jenkins && \
 groupadd -g 996 docker && \
 usermod -aG staff,docker jenkins && \
 mkdir -p /opt/jenkins && cd /opt/jenkins && \
 curl -L -O http://mirrors.jenkins.io/war-stable/latest/jenkins.war
 
VOLUME [ "/var/jenkins_home" ]
 
EXPOSE 8080
EXPOSE 50000
 
RUN chown -R "${JENKINS_UID}" "${JENKINS_HOME}" && \
  chmod -R g+w "${JENKINS_HOME}"
 
USER 506
 
CMD java -jar -Xmx512m -Xms256m /opt/jenkins/jenkins.war --prefix=$PREFIX --httpPort="${JENKINS_PORT}"