# HG changeset patch
# User wenzelm
# Date 1716991567 -7200
# Node ID 2ec1b11f1f9309c82a37b1b100d26e6c964fa278
# Parent  f0ead4febf7f264aaa205d7eae14b2ba11209080
tuned;

diff -r f0ead4febf7f -r 2ec1b11f1f93 src/Pure/General/ssh.scala
--- a/src/Pure/General/ssh.scala	Wed May 29 15:58:03 2024 +0200
+++ b/src/Pure/General/ssh.scala	Wed May 29 16:06:07 2024 +0200
@@ -148,11 +148,12 @@
       val config =
         Config.make(options, port = port, user = user,
           control_master = master, control_path = control_path)
-      val cmd =
+      val script =
         Config.command(command, config) +
         if_proper(opts, " " + opts) +
         if_proper(args, " -- " + args)
-      Isabelle_System.bash(cmd, cwd = cwd,
+      Isabelle_System.bash(script,
+        cwd = cwd,
         redirect = redirect,
         progress_stdout = progress_stdout,
         progress_stderr = progress_stderr,