2016-02-22 12:12:04 +02:00
|
|
|
#
|
|
|
|
# Dockerfile for jenkins-arm
|
|
|
|
#
|
|
|
|
|
2019-10-20 05:31:17 +02:00
|
|
|
FROM arm32v7/alpine:3
|
2016-05-03 08:05:55 +02:00
|
|
|
MAINTAINER EasyPi Software Foundation
|
2016-02-22 12:12:04 +02:00
|
|
|
|
|
|
|
ENV JENKINS_HOME /var/jenkins_home
|
|
|
|
|
|
|
|
RUN set -xe \
|
2019-10-20 05:31:17 +02:00
|
|
|
&& apk add --no-cache \
|
|
|
|
bash \
|
|
|
|
coreutils \
|
|
|
|
curl \
|
|
|
|
git \
|
|
|
|
openjdk8 \
|
|
|
|
openssh-client \
|
|
|
|
ttf-dejavu \
|
|
|
|
unzip \
|
|
|
|
zip \
|
2016-05-03 08:05:55 +02:00
|
|
|
&& addgroup -g 1000 jenkins \
|
|
|
|
&& adduser -h $JENKINS_HOME -u 1000 -G jenkins -s /bin/bash -D jenkins \
|
2016-02-22 12:12:04 +02:00
|
|
|
&& mkdir -p /usr/share/jenkins \
|
|
|
|
&& cd /usr/share/jenkins \
|
2016-08-25 12:51:59 +02:00
|
|
|
&& wget http://mirrors.jenkins-ci.org/war/latest/jenkins.war
|
2016-02-22 12:12:04 +02:00
|
|
|
|
|
|
|
VOLUME $JENKINS_HOME
|
|
|
|
WORKDIR $JENKINS_HOME
|
|
|
|
|
|
|
|
USER jenkins
|
|
|
|
|
|
|
|
EXPOSE 8080
|
|
|
|
|
|
|
|
CMD ["java", "-Djava.awt.headless=true", "-jar", "/usr/share/jenkins/jenkins.war"]
|