Gacirane Patrick
update
21779d0
Raw
History Blame Contribute Delete
394 Bytes
FROM tomcat:9.0-jdk11
# Install tools
RUN apt-get update && \
apt-get install -y git maven && \
rm -rf /var/lib/apt/lists/*
# Copy startup script
COPY start.sh /start.sh
RUN chmod +x /start.sh
# Change Tomcat port to 7860
RUN sed -i 's/port="8080"/port="7860"/' \
/usr/local/tomcat/conf/server.xml
EXPOSE 7860
# Runtime: clones private repo then starts Tomcat
CMD ["/start.sh"]