src/Pure/System/isabelle_system.scala

 
   /* GNU bash */
 
   def bash(script: String,
     description: String = "",
+    ssh: SSH.System = SSH.Local,
     cwd: JFile = null,
     env: JMap[String, String] = settings(),
     redirect: Boolean = false,
     input: String = "",
     progress_stdout: String => Unit = (_: String) => (),
     progress_stderr: String => Unit = (_: String) => (),
     watchdog: Option[Bash.Watchdog] = None,
     strict: Boolean = true,
     cleanup: () => Unit = () => ()
   ): Process_Result = {
-    Bash.process(script,
-      description = description, cwd = cwd, env = env, redirect = redirect, cleanup = cleanup).
+    Bash.process(script, description = description, ssh = ssh, cwd = cwd, env = env,
+        redirect = redirect, cleanup = cleanup).
       result(input = input, progress_stdout = progress_stdout, progress_stderr = progress_stderr,
         watchdog = watchdog, strict = strict)
   }