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.
tuned tmp name;
authorwenzelm
Wed, 29 May 2024 16:08:17 +0200
changeset 80212 67b5e8b88728
parent 80211 2ec1b11f1f93
child 80213 d13b8ee54885
tuned tmp name;
src/Pure/General/ssh.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/ssh.scala	Wed May 29 16:06:07 2024 +0200
+++ b/src/Pure/General/ssh.scala	Wed May 29 16:08:17 2024 +0200
@@ -165,7 +165,7 @@
       init: Path => Unit = _ => (),
       exit: Path => Unit = _ => ()
     ): Process_Result = {
-      Isabelle_System.with_tmp_dir("ssh") { dir =>
+      Isabelle_System.with_tmp_dir("sftp") { dir =>
         init(dir)
         File.write(dir + Path.explode("script"), script)
         val result =
isabelle