--- 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,