]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Remove docker image with root user. 15060/head
authorMarc Fehling <mafehling.git@gmail.com>
Sun, 9 Apr 2023 20:22:36 +0000 (14:22 -0600)
committerMarc Fehling <mafehling.git@gmail.com>
Sun, 9 Apr 2023 20:22:36 +0000 (14:22 -0600)
.github/workflows/docker.yml
contrib/docker/Dockerfile.root [deleted file]
doc/news/changes/incompatibilities/20230409Fehling [new file with mode: 0644]

index 4ff979f603ded816d2118bd91eb48f2c1eed3950..3885ea87e056d7c10a681cf32b42d73ea7cc3348 100644 (file)
@@ -12,7 +12,7 @@ permissions:
 
 jobs:
   build-master-docker:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.4
     steps:          
       - name: Checkout code
         uses: actions/checkout@v3
@@ -34,14 +34,3 @@ jobs:
           cache-to: type=inline
           push: ${{github.ref_name == 'master'}}
           tags: dealii/dealii:master-focal
-
-      - name: Build and push Docker image of master with root user
-        uses: docker/build-push-action@v4
-        with:
-          context: ./contrib/docker/
-          file: ./contrib/docker/Dockerfile.root
-          cache-from: type=registry,ref=dealii/dealii:master-focal
-          cache-to: type=inline
-          push: ${{github.ref_name == 'master'}}
-          tags: dealii/dealii:master-focal-root
-
diff --git a/contrib/docker/Dockerfile.root b/contrib/docker/Dockerfile.root
deleted file mode 100644 (file)
index 33f267a..0000000
+++ /dev/null
@@ -1,11 +0,0 @@
-FROM dealii/dealii:master-focal
-
-USER root
-
-ENV HOME /root
-
-WORKDIR /root
-
-ENV OMPI_ALLOW_RUN_AS_ROOT 1
-
-ENV OMPI_ALLOW_RUN_AS_ROOT_CONFIRM 1
diff --git a/doc/news/changes/incompatibilities/20230409Fehling b/doc/news/changes/incompatibilities/20230409Fehling
new file mode 100644 (file)
index 0000000..3664b4e
--- /dev/null
@@ -0,0 +1,10 @@
+Removed: The docker image with root user has been removed.
+<br>
+If you would like to use the docker image in the context of github actions,
+you can use the regular image and override the default user like this:
+```
+container:
+  image: dealii/dealii:master-focal
+  options: --user root
+```
+(Marc Fehling, 2023/04/09)

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.