diff --git a/.docker/server_dockerfile b/.docker/server_dockerfile index 7dc778204..fccfbbfa8 100644 --- a/.docker/server_dockerfile +++ b/.docker/server_dockerfile @@ -2,10 +2,14 @@ FROM python:3.10 as base SHELL ["/bin/bash", "--login", "-c"] EXPOSE 5001 -RUN apt update && apt install -y tree && apt clean +RUN apt update && apt install -y gnupg curl tree && apt clean -# Install the older version of mdbtools (0.7.1) until https://github.com/echemdata/galvani/issues/89 is resolved WORKDIR /opt +# Install MongoDB tools in the official way +RUN wget https://fastdl.mongodb.org/tools/db/mongodb-database-tools-ubuntu2204-x86_64-100.9.0.deb +RUN apt install ./mongodb-database-tools-*-100.8.0.deb + +# Install the older version of mdbtools (0.7.1) until https://github.com/echemdata/galvani/issues/89 is resolved RUN git clone https://github.com/mdbtools/mdbtools --depth 1 --branch 0.7.1 WORKDIR /opt/mdbtools RUN autoreconf -i -f