2017-12-20 17:27:05 +01:00
|
|
|
FROM debian:latest
|
2018-01-08 11:22:08 +01:00
|
|
|
RUN apt-key update
|
2017-12-20 17:27:05 +01:00
|
|
|
RUN apt-get update
|
|
|
|
|
RUN apt-get -y upgrade
|
|
|
|
|
RUN apt-get -y install openjdk-8-jre openjdk-8-jdk
|
|
|
|
|
WORKDIR /bot_src
|
|
|
|
|
ADD . /bot_src/
|
|
|
|
|
RUN chmod +x gradlew
|
|
|
|
|
ENV PORT=8080
|
|
|
|
|
ENV TOKEN=10
|
|
|
|
|
RUN ./gradlew build
|
|
|
|
|
CMD java -jar build/libs/DiscordBot-0.1.0.jar -t ${TOKEN}
|
