diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index 20f5556c..1889ac41 100644 --- a/tools/docker/Dockerfile +++ b/tools/docker/Dockerfile @@ -1,11 +1,11 @@ -FROM ubuntu:latest +FROM ubuntu:22.04 ENV PYTHONBUFFERED TRUE RUN apt-get update && \ DEBIAN_FRONTEND=noninteractive apt-get install --no-install-recommends -y \ - python3.11-dev \ - python3.11-pip \ + python3-dev \ + python3-pip \ build-essential \ openjdk-11-jre-headless \ wget \