From 573bc8a914bb80f143686c9977686aae64c7ab2f Mon Sep 17 00:00:00 2001
From: Benjamin Knoll <benknoll@umn.edu>
Date: Mon, 7 Oct 2024 10:47:04 -0500
Subject: [PATCH] Using 22.04 of ubuntu for docker image

---
 tools/docker/Dockerfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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 \