Revert ubuntu to 20.04 as 22.04 issue on docker

1. moby/moby#42680 2. adoptium/containers#215 (comment) 3. moby/moby#34454 (comment)
lrtfm · May 11, 2023 · d8a95b9 · d8a95b9
1 parent a82668f
commit d8a95b9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Dockerfile.env b/Dockerfile.env
@@ -5,7 +5,7 @@
 # $ docker build -f Dockerfile.env --tag lrtfm/firedrake:env .
 #
 
-FROM ubuntu:22.04
+FROM ubuntu:20.04
 
 # This DockerFile is looked after by
 MAINTAINER Zongze Yang <[email protected]>

diff --git a/Dockerfile.env-mkl b/Dockerfile.env-mkl
@@ -5,7 +5,7 @@
 # $ docker build -f Dockerfile.env --tag lrtfm/firedrake:env .
 #
 
-FROM ubuntu:22.04
+FROM ubuntu:20.04
 
 # This DockerFile is looked after by
 MAINTAINER Zongze Yang <[email protected]>