Adds docker to the jenkins container

Tested that works as expected. fixes #196
getpopper · Dec 30, 2017 · 8c4a457 · 8c4a457
1 parent 5c17ac7
commit 8c4a457
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/docs/ci/jenkins/docker/Dockerfile b/docs/ci/jenkins/docker/Dockerfile
@@ -1,3 +1,5 @@
 FROM jenkins/jenkins:lts
 COPY plugins.txt /usr/share/jenkins/ref/plugins.txt
-RUN /usr/local/bin/install-plugins.sh < /usr/share/jenkins/ref/plugins.txt
+RUN  curl -SL https://download.docker.com/linux/static/stable/x86_64/docker-17.06.2-ce.tgz | tar -xzv docker/docker && \
+     mv docker/docker /usr/bin && \
+     /usr/local/bin/install-plugins.sh < /usr/share/jenkins/ref/plugins.txt