Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
discontinued adhoc change of environment (from c62b99e3ec07), which has been mostly superseded by expand_path / remote_path (from ef6f7e8a018c);
authorwenzelm
Tue, 24 Jan 2023 17:28:30 +0100
changeset 77077 c2e8ba15a10a
parent 77076 4471dbb3b7a0
child 77078 a709945b6c71
discontinued adhoc change of environment (from c62b99e3ec07), which has been mostly superseded by expand_path / remote_path (from ef6f7e8a018c);
src/Pure/General/ssh.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/ssh.scala	Tue Jan 24 17:25:00 2023 +0100
+++ b/src/Pure/General/ssh.scala	Tue Jan 24 17:28:30 2023 +0100
@@ -185,9 +185,11 @@
       settings: Boolean = true,
       strict: Boolean = true
     ): Process_Result = {
-      val args1 = Bash.string(host) + " " + Bash.string("export USER_HOME=\"$HOME\"\n" + cmd_line)
-      run_command("ssh", args = args1, progress_stdout = progress_stdout,
-        progress_stderr = progress_stderr, strict = strict)
+      run_command("ssh",
+        args = Bash.string(host) + " " + Bash.string(cmd_line),
+        progress_stdout = progress_stdout,
+        progress_stderr = progress_stderr,
+        strict = strict)
     }
 
     override def download_file(
isabelle