Add docker image with root user.

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 423cc5ccd9caaa00e0b75002227f745a57db371f..1dcd8668da8a589c3904d882af27444223d6dbf5 100644 (file)
--- 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 (file)
index 0000000..3ad752a
--- /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 (file)
index 0000000..a7f33da
--- /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)