From: Jean-Paul Pelteret Date: Tue, 28 Dec 2021 17:51:27 +0000 (+0100) Subject: Merge pull request #13140 from luca-heltai/docker-root-4 X-Git-Tag: v9.4.0-rc1~696 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7cc846fafe067dcb997356d723d6b3112ac0f191;p=dealii.git Merge pull request #13140 from luca-heltai/docker-root-4 Make sure HOME, WORKDIR, and MPI env vars are set correctly. --- 7cc846fafe067dcb997356d723d6b3112ac0f191