diff -r e0fb46018187 -r e9b9af6da795 src/Pure/System/bash.scala
--- a/src/Pure/System/bash.scala	Sat Jun 14 11:45:56 2025 +0200
+++ b/src/Pure/System/bash.scala	Sat Jun 14 14:31:54 2025 +0200
@@ -91,7 +91,7 @@
       description: String = "",
       ssh: SSH.System = SSH.Local,
       cwd: Path = Path.current,
-      env: JMap[String, String] = Isabelle_System.settings(),  // ignored for remote ssh
+      env: JMap[String, String] = Isabelle_System.Settings.env(),  // ignored for remote ssh
       redirect: Boolean = false,
       cleanup: () => Unit = () => ()): Process =
     new Process(script, description, ssh, cwd, env, redirect, cleanup)
@@ -376,7 +376,7 @@
                   case Some(s) => Path.explode(s)
                 },
               env =
-                Isabelle_System.settings(
+                Isabelle_System.Settings.env(
                   XML.Decode.list(XML.Decode.pair(XML.Decode.string, XML.Decode.string))(
                     YXML.parse_body(YXML.Source(putenv)))),
               redirect = redirect)