From c9ae2d862cb1fa84844f65ebae37280e209fa91c Mon Sep 17 00:00:00 2001 From: Luca Heltai Date: Mon, 27 Dec 2021 16:02:26 +0100 Subject: [PATCH] Make sure HOME, WORKDIR, and mpi work correctly on root image. --- contrib/docker/Dockerfile.root | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/contrib/docker/Dockerfile.root b/contrib/docker/Dockerfile.root index 3ad752a69a..7afea5b641 100644 --- a/contrib/docker/Dockerfile.root +++ b/contrib/docker/Dockerfile.root @@ -1,5 +1,9 @@ FROM dealii/dealii:master-focal -LABEL maintainer="luca.heltai@gmail.com" - USER root + +ENV HOME /root + +WORKDIR /root + +ENV OMPI_ALLOW_RUN_AS_ROOT 1 -- 2.39.5