2017-12-20 17:27:05 +01:00
|
|
|
FROM debian:latest
|
|
|
|
|
RUN apt-get update
|
|
|
|
|
RUN apt-get -y upgrade
|
2018-03-01 12:10:30 +01:00
|
|
|
RUN apt-get -y install openjdk-8-jre openjdk-8-jdk curl wget
|
2017-12-20 17:27:05 +01:00
|
|
|
WORKDIR /bot_src
|
2018-03-01 15:52:42 +01:00
|
|
|
ARG BUILD_NBR
|
|
|
|
|
ARG BRANCH_NAME
|
2018-03-01 15:16:40 +01:00
|
|
|
ADD DownloadLast.sh /bot_src/
|
2018-03-01 12:10:30 +01:00
|
|
|
RUN chmod +x DownloadLast.sh
|
2018-03-01 15:16:40 +01:00
|
|
|
RUN ./DownloadLast.sh ${BRANCH_NAME} ${BUILD_NBR}
|
2017-12-20 17:27:05 +01:00
|
|
|
ENV PORT=8080
|
|
|
|
|
ENV TOKEN=10
|
2018-03-01 12:10:30 +01:00
|
|
|
CMD java -jar bot.jar -t ${TOKEN}
|
