summaryrefslogtreecommitdiffhomepage
path: root/Dockerfile
diff options
context:
space:
mode:
authorCyril Sobierajewicz <38043722+cyrilfretlink@users.noreply.github.com>2019-04-24 18:24:52 +0200
committerGitHub <noreply@github.com>2019-04-24 18:24:52 +0200
commit134875c8e1f05378598914d10ecd58b86a15246c (patch)
treee2532f115068b133ccc4638302b0f5f4b3c7c937 /Dockerfile
parentd3589523a93f0429ae95e2704973290b729e8c73 (diff)
parent381b3c7bc923e143205b09aabedf0770bc31d27b (diff)
downloaddocker-node-mongotools-134875c8e1f05378598914d10ecd58b86a15246c.tar.gz
docker-node-mongotools-134875c8e1f05378598914d10ecd58b86a15246c.tar.zst
docker-node-mongotools-134875c8e1f05378598914d10ecd58b86a15246c.zip
Merge pull request #3 from cyrilfretlink/dhall-to-json@1.2.7
Upgrade to `dhall-to-json@1.2.7`
Diffstat (limited to 'Dockerfile')
-rw-r--r--Dockerfile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Dockerfile b/Dockerfile
index 318469a..5eaa0a1 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -6,6 +6,6 @@ RUN apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 2930ADAE8CAF505
6RUN echo "deb http://repo.mongodb.org/apt/debian jessie/mongodb-org/3.6 main" > /etc/apt/sources.list.d/mongodb-org-3.6.list 6RUN echo "deb http://repo.mongodb.org/apt/debian jessie/mongodb-org/3.6 main" > /etc/apt/sources.list.d/mongodb-org-3.6.list
7RUN apt-get update 7RUN apt-get update
8RUN apt-get install -y mongodb-org-tools mongodb-org-shell 8RUN apt-get install -y mongodb-org-tools mongodb-org-shell
9RUN curl -LO https://github.com/dhall-lang/dhall-haskell/releases/download/1.20.1/dhall-json-1.20.1-x86_64-linux.tar.bz2 && \ 9RUN curl -LO https://github.com/dhall-lang/dhall-haskell/releases/download/1.21.0/dhall-json-1.2.7-x86_64-linux.tar.bz2 && \
10 tar -xf dhall-json-1.20.1-x86_64-linux.tar.bz2 && \ 10 tar -xf dhall-json-1.2.7-x86_64-linux.tar.bz2 && \
11 mv ./bin/dhall-to-json /usr/bin 11 mv ./bin/dhall-to-json /usr/bin