Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/bash.scala
changeset 82706 e9b9af6da795
parent 82466 d5ef492dd673 
--- 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)
isabelle