diff --git a/docker/Dockerfile_full b/docker/Dockerfile_full index d9225e4f19f69b68f67c0e3dd63c7370f1c26f6f..eb28712db12a458a141eca918c317fbfdf4d0905 100644 --- a/docker/Dockerfile_full +++ b/docker/Dockerfile_full @@ -8,6 +8,7 @@ FROM ubuntu:latest # Identify the maintainer of an image LABEL maintainer="vicente.mataix-ferrandiz@inria.fr" +ENV DEBIAN_FRONTEND=noninteractive RUN apt-get -y clean RUN apt-get -y update RUN apt-get -y upgrade