File size: 394 Bytes
ba87331
39e5a7a
21779d0
ba87331
 
 
39e5a7a
21779d0
 
 
39e5a7a
21779d0
 
 
39e5a7a
 
 
21779d0
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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"]