From eb7a4c7f94e85d1dba00e93a6115449795d4bcc3 Mon Sep 17 00:00:00 2001 From: Andrew Brown Date: Fri, 8 Mar 2024 14:46:32 -0800 Subject: [PATCH] Update base for Docker build image I came across this in #392, where it became clear that Ubuntu's 18.04 release (now several years old) was using quite ancient versions of certain tools. --- Dockerfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index 558c1b285..52d8067f2 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,7 +1,7 @@ # Use a relatively old/stable distro here to maximize the supported platforms -# and avoid depending on more recent version of, say, libc. -# Here we choose Bionic 18.04. -FROM ubuntu:bionic +# and avoid depending on more recent version of, say, libc. Here we choose Jammy +# 22.04. +FROM ubuntu:jammy RUN apt-get update \ && apt-get install -y --no-install-recommends \