Build dolfinx v0.8.0 with Ubuntu 20.04 docker image

installation
1

docker images of dolfinx v0.8.0 on Dockerhub is build on Ubuntu 22.04, while old dolfinx (v0.2.0a0) is build on Ubuntu 20.04.

how to build dolfinx v0.8.0 on Ubuntu 20.04 docker image? Or how to upgrad dolfinx from v0.2.0a0 and its dependence in that docker image?

2

As you are using docker, I would strongly advice you to just use a newer docker image. Running on outdated Ubuntu installations is not recommended.