diff options
| author | Cyril Sobierajewicz <cyril.sobierajewicz@fretlink.com> | 2019-04-24 18:14:39 +0200 |
|---|---|---|
| committer | Cyril Sobierajewicz <cyril.sobierajewicz@fretlink.com> | 2019-04-24 18:14:39 +0200 |
| commit | 381b3c7bc923e143205b09aabedf0770bc31d27b (patch) | |
| tree | e2532f115068b133ccc4638302b0f5f4b3c7c937 | |
| parent | d3589523a93f0429ae95e2704973290b729e8c73 (diff) | |
| download | docker-node-mongotools-381b3c7bc923e143205b09aabedf0770bc31d27b.tar.gz docker-node-mongotools-381b3c7bc923e143205b09aabedf0770bc31d27b.tar.zst docker-node-mongotools-381b3c7bc923e143205b09aabedf0770bc31d27b.zip | |
dockerfile: upgrade to `dhall-to-json@1.2.7`
| -rw-r--r-- | Dockerfile | 4 |
1 files changed, 2 insertions, 2 deletions
| @@ -6,6 +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 && \ | 9 | RUN 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 |