changeset 80229 | 5e32da8238e1 |
parent 80227 | af6b60c75d7d |
child 80235 | 06036a16779f |
--- a/src/Pure/System/isabelle_system.scala Sat Jun 01 14:56:24 2024 +0200 +++ b/src/Pure/System/isabelle_system.scala Sat Jun 01 15:03:13 2024 +0200 @@ -412,7 +412,7 @@ description: String = "", ssh: SSH.System = SSH.Local, cwd: Path = Path.current, - env: JMap[String, String] = settings(), + env: JMap[String, String] = settings(), // ignored for remote ssh redirect: Boolean = false, input: String = "", progress_stdout: String => Unit = (_: String) => (),