# HG changeset patch
# User wenzelm
# Date 1714155495 -7200
# Node ID 059d5e115ae356aa84ace3a1340bd81006248e9f
# Parent  6b9d5cae457904a1e01a6fa882b506fd2cb1bf8a
support more Ubuntu versions;

diff -r 6b9d5cae4579 -r 059d5e115ae3 src/Doc/System/Misc.thy
--- a/src/Doc/System/Misc.thy	Fri Apr 26 20:14:27 2024 +0200
+++ b/src/Doc/System/Misc.thy	Fri Apr 26 20:18:15 2024 +0200
@@ -72,17 +72,18 @@
   Option \<^verbatim>\<open>-B\<close> specifies the Docker image taken as starting point for the
   Isabelle installation: it needs to be a suitable version of Ubuntu Linux,
   see also \<^url>\<open>https://hub.docker.com/_/ubuntu\<close>. The default for Isabelle2024
-  is \<^verbatim>\<open>ubuntu:22.04\<close>, but other versions often work as well, after some
-  experimentation with packages.
+  is \<^verbatim>\<open>ubuntu:22.04\<close>, but \<^verbatim>\<open>ubuntu:20.04\<close> and \<^verbatim>\<open>ubuntu:24.04\<close> should work as
+  well. Other versions might require experimentation with the package
+  selection.
 
   Option \<^verbatim>\<open>-p\<close> includes additional Ubuntu packages, using the terminology
   of \<^verbatim>\<open>apt-get install\<close> within the underlying Linux distribution.
 
   Option \<^verbatim>\<open>-P\<close> refers to high-level package collections: \<^verbatim>\<open>X11\<close> or \<^verbatim>\<open>latex\<close> as
-  provided by \<^verbatim>\<open>isabelle docker_build\<close> (assuming Ubuntu 22.04 LTS). This
-  imposes extra weight on the resulting Docker images. Note that \<^verbatim>\<open>X11\<close> will
-  only provide remote X11 support according to the modest GUI quality
-  standards of the late 1990-ies.
+  provided by \<^verbatim>\<open>isabelle docker_build\<close> (assuming Ubuntu 20.04/22.04/24.04
+  LTS). This imposes extra weight on the resulting Docker images. Note that
+  \<^verbatim>\<open>X11\<close> will only provide remote X11 support according to the modest GUI
+  quality standards of the late 1990-ies.
 
   \<^medskip>
   Option \<^verbatim>\<open>-n\<close> suppresses the actual \<^verbatim>\<open>docker build\<close> process. Option \<^verbatim>\<open>-o\<close>
diff -r 6b9d5cae4579 -r 059d5e115ae3 src/Pure/System/linux.scala
--- a/src/Pure/System/linux.scala	Fri Apr 26 20:14:27 2024 +0200
+++ b/src/Pure/System/linux.scala	Fri Apr 26 20:18:15 2024 +0200
@@ -42,6 +42,7 @@
     def is_ubuntu: Boolean = id == "Ubuntu"
     def is_ubuntu_20_04: Boolean = is_ubuntu && release == "20.04"
     def is_ubuntu_22_04: Boolean = is_ubuntu && release == "22.04"
+    def is_ubuntu_24_04: Boolean = is_ubuntu && release == "24.04"
   }