]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Add docker image with root user.
authorLuca Heltai <luca.heltai@sissa.it>
Fri, 24 Dec 2021 08:32:47 +0000 (09:32 +0100)
committerLuca Heltai <luca.heltai@sissa.it>
Fri, 24 Dec 2021 08:32:47 +0000 (09:32 +0100)
.github/workflows/docker.yml
contrib/docker/Dockerfile.root [new file with mode: 0644]
doc/news/changes/minor/20211224LucaHeltai [new file with mode: 0644]

index 423cc5ccd9caaa00e0b75002227f745a57db371f..1dcd8668da8a589c3904d882af27444223d6dbf5 100644 (file)
@@ -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
@@ -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
@@ -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)

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.