Make sure HOME, WORKDIR, and mpi work correctly on root image.

diff --git a/contrib/docker/Dockerfile.root b/contrib/docker/Dockerfile.root
index 3ad752a69a2eeb18829763dc38b7926148988543..7afea5b641053cad1c69dd613b9c8e8eba6ed660 100644 (file)
--- 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