1 files changed, 3 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile
index cc224ad..318469a 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -6,3 +6,6 @@ RUN apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 2930ADAE8CAF505
 RUN echo "deb http://repo.mongodb.org/apt/debian jessie/mongodb-org/3.6 main" > /etc/apt/sources.list.d/mongodb-org-3.6.list
 RUN apt-get update
 RUN apt-get install -y mongodb-org-tools mongodb-org-shell
+RUN curl -LO https://github.com/dhall-lang/dhall-haskell/releases/download/1.20.1/dhall-json-1.20.1-x86_64-linux.tar.bz2 && \
+  tar -xf dhall-json-1.20.1-x86_64-linux.tar.bz2 && \
+  mv ./bin/dhall-to-json /usr/bin

diff --git a/Dockerfile b/Dockerfile index cc224ad..318469a 100644 --- a/Dockerfile +++ b/Dockerfile
@@ -6,3 +6,6 @@ RUN apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 2930ADAE8CAF505
6	RUN echo "deb http://repo.mongodb.org/apt/debian jessie/mongodb-org/3.6 main" > /etc/apt/sources.list.d/mongodb-org-3.6.list	6	RUN echo "deb http://repo.mongodb.org/apt/debian jessie/mongodb-org/3.6 main" > /etc/apt/sources.list.d/mongodb-org-3.6.list
7	RUN apt-get update	7	RUN apt-get update
8	RUN apt-get install -y mongodb-org-tools mongodb-org-shell	8	RUN apt-get install -y mongodb-org-tools mongodb-org-shell
		9	RUN curl -LO https://github.com/dhall-lang/dhall-haskell/releases/download/1.20.1/dhall-json-1.20.1-x86_64-linux.tar.bz2 && \
		10	tar -xf dhall-json-1.20.1-x86_64-linux.tar.bz2 && \
		11	mv ./bin/dhall-to-json /usr/bin