Small improvements and tidying up - deferred slave port setting
diff --git a/Dockerfile b/Dockerfile
index bc5e364..458afab 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -3,8 +3,7 @@
RUN echo "1.565.2" > .lts-version-number
RUN apt-get update && apt-get install -y wget git curl zip && apt-get clean
-RUN apt-get update && apt-get install -y --no-install-recommends openjdk-7-jdk && apt-get clean
-RUN apt-get update && apt-get install -y maven ant ruby rbenv make && apt-get clean
+RUN apt-get update && apt-get install -y --no-install-recommends openjdk-7-jdk && apt-get clean bash
RUN wget -q -O - http://pkg.jenkins-ci.org/debian-stable/jenkins-ci.org.key | sudo apt-key add -
RUN echo deb http://pkg.jenkins-ci.org/debian-stable binary/ >> /etc/apt/sources.list
@@ -18,16 +17,15 @@
USER jenkins
# VOLUME /var/jenkins_home - bind this in via -v if you want to make this persistent.
-VOLUME /var/jenkins_home
ENV JENKINS_HOME /var/jenkins_home
# define url prefix for running jenkins behind Apache (https://wiki.jenkins-ci.org/display/JENKINS/Running+Jenkins+behind+Apache)
ENV JENKINS_PREFIX /
# for main web interface:
-EXPOSE 8080
+EXPOSE 8080
# will be used by attached slave agents:
-EXPOSE 50000
+EXPOSE 50000
CMD ["/usr/local/bin/jenkins.sh"]