From: Luca Heltai <luca.heltai@sissa.it>
Date: Fri, 24 Dec 2021 08:32:47 +0000 (+0100)
Subject: Add docker image with root user.
X-Git-Tag: v9.4.0-rc1~711^2~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0d0ce3445a9412db667c89ecd915cbd40f0209f8;p=dealii.git

Add docker image with root user.
---

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 423cc5ccd9..1dcd8668da 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -27,4 +27,14 @@ jobs:
           cache-from: type=registry,ref=dealii/dependencies:focal
           cache-to: type=inline
           push: true
-          tags: dealii/dealii:master-focal
\ No newline at end of file
+          tags: dealii/dealii:master-focal
+
+      - name: Build and push Docker image of master with root user
+        uses: docker/build-push-action@v2
+        with:
+          context: ./contrib/docker/
+          file: {context}/Dockerfile.root
+          cache-from: type=registry,ref=dealii/dealii:master-focal
+          cache-to: type=inline
+          push: true
+          tags: dealii/dealii:master-focal-root
\ No newline at end of file
diff --git a/contrib/docker/Dockerfile.root b/contrib/docker/Dockerfile.root
new file mode 100644
index 0000000000..3ad752a69a
--- /dev/null
+++ b/contrib/docker/Dockerfile.root
@@ -0,0 +1,5 @@
+FROM dealii/dealii:master-focal
+
+LABEL maintainer="luca.heltai@gmail.com"
+
+USER root
diff --git a/doc/news/changes/minor/20211224LucaHeltai b/doc/news/changes/minor/20211224LucaHeltai
new file mode 100644
index 0000000000..a7f33dada8
--- /dev/null
+++ b/doc/news/changes/minor/20211224LucaHeltai
@@ -0,0 +1,3 @@
+New: Build also a docker image with root user, to be used in github actions directly.
+<br>
+(Luca Heltai, 2021/12/24)