From: Marc Fehling Date: Sun, 9 Apr 2023 20:22:36 +0000 (-0600) Subject: Remove docker image with root user. X-Git-Tag: v9.5.0-rc1~343^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F15060%2Fhead;p=dealii.git Remove docker image with root user. --- diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 4ff979f603..3885ea87e0 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -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 index 33f267ad84..0000000000 --- a/contrib/docker/Dockerfile.root +++ /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 index 0000000000..3664b4ee8e --- /dev/null +++ b/doc/news/changes/incompatibilities/20230409Fehling @@ -0,0 +1,10 @@ +Removed: The docker image with root user has been removed. +
+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)