diff options
author | Jakob Odersky <jakob@odersky.com> | 2019-09-22 16:42:05 -0400 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2019-09-22 16:47:17 -0400 |
commit | 14316f206af70fd79994028123498a5b70b3f92f (patch) | |
tree | 6ef93403705428c4c20150c3eaf60fbb20d4d0b7 /ci/mill/Dockerfile | |
parent | edce0b5a9b773ea33c0b137e3f216051ea028220 (diff) | |
download | commando-14316f206af70fd79994028123498a5b70b3f92f.tar.gz commando-14316f206af70fd79994028123498a5b70b3f92f.tar.bz2 commando-14316f206af70fd79994028123498a5b70b3f92f.zip |
Package mill as a container image
Diffstat (limited to 'ci/mill/Dockerfile')
-rw-r--r-- | ci/mill/Dockerfile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ci/mill/Dockerfile b/ci/mill/Dockerfile new file mode 100644 index 0000000..af1ba37 --- /dev/null +++ b/ci/mill/Dockerfile @@ -0,0 +1,12 @@ +FROM debian:bullseye + +RUN apt-get update && apt-get install --yes \ + curl \ + openjdk-11-jdk \ + && rm -rf /var/lib/apt/lists/* + +RUN curl -L https://github.com/lihaoyi/mill/releases/download/0.5.1/0.5.1 > \ + /usr/local/bin/mill \ + && chmod +x /usr/local/bin/mill + +ENTRYPOINT [ "/usr/local/bin/mill" ] |