src/Pure/System/isabelle_platform.scala

--- a/src/Pure/System/isabelle_platform.scala	Fri Sep 12 17:07:21 2025 +0200
+++ b/src/Pure/System/isabelle_platform.scala	Fri Sep 12 17:31:38 2025 +0200
@@ -7,6 +7,9 @@
 package isabelle
 
 
+import java.util.{Map => JMap}
+
+
 object Isabelle_Platform {
   val settings: List[String] =
     List(
@@ -68,11 +71,15 @@
     def standard_path(path: Path): String =
       mingw.standard_path(File.platform_path(path))
 
-    def bash(script: String, cwd: Path = Path.current): Process_Result =
+    def bash(script: String,
+      cwd: Path = Path.current,
+      env: JMap[String, String] = Isabelle_System.Settings.env(),
+    ): Process_Result = {
       progress.bash(
         if (is_macos_arm) "arch -arch arm64 bash -c " + Bash.string(script)
         else mingw.bash_script(script),
-        cwd = cwd, echo = progress.verbose)
+        cwd = cwd, env = env, echo = progress.verbose)
+    }
   }
 }