commit 070a1ce14f5b9ad6b4a2a1629a4045153a807a78
author Nicolas De Loof <nicolas.deloof@gmail.com> Wed Oct 01 11:22:32 2014 +0200
committer Nicolas De Loof <nicolas.deloof@gmail.com> Thu Oct 02 08:07:15 2014 +0200
tree d946a901f147b7683c1e4d0fd67df9fc99a8b596
parent 05080682df4ac184ace38c9eda86446c03a35e78

dowload jenkins.war, no need for debian package
the later include daemon setup that doesn’t make sense here

Dockerfile

diff --git a/Dockerfile b/Dockerfile
index cb2d7ef..026b784 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -3,16 +3,10 @@
 
 RUN apt-get update && apt-get install -y wget git curl zip && rm -rf /var/lib/apt/lists/*
 
-# gpg: key D50582E6: public key "Kohsuke Kawaguchi <kk@kohsuke.org>" imported
-# see also http://pkg.jenkins-ci.org/debian-stable/jenkins-ci.org.key
-RUN apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 150FDE3F7787E7D11EF4E12A9B7D32F2D50582E6
-# from: curl -sSL 'http://pkg.jenkins-ci.org/debian-stable/jenkins-ci.org.key' | docker run -i --rm debian bash -c 'gpg --import && gpg --fingerprint'
-
-RUN echo deb http://pkg.jenkins-ci.org/debian-stable binary/ > /etc/apt/sources.list.d/jenkins.list
-
 ENV JENKINS_VERSION 1.565.2
-
-RUN apt-get update && apt-get install -y jenkins="${JENKINS_VERSION}" && rm -rf /var/lib/apt/lists/*
+RUN mkdir /usr/share/jenkins/
+RUN useradd -d /home/jenkins -m -s /bin/bash jenkins
+ADD http://mirrors.jenkins-ci.org/war-stable/$JENKINS_VERSION/jenkins.war /usr/share/jenkins/
 
 ENV JENKINS_HOME /var/jenkins_home
 RUN usermod -m -d "$JENKINS_HOME" jenkins && chown -R jenkins "$JENKINS_HOME"