src/Pure/General/ssh.scala

--- a/src/Pure/General/ssh.scala	Thu Sep 15 12:26:51 2022 +0200
+++ b/src/Pure/General/ssh.scala	Thu Sep 15 12:37:49 2022 +0200
@@ -246,7 +246,7 @@
       execute("rm -r -f " + Bash.string(remote_dir)).check
 
     def tmp_dir(): String =
-      execute("mktemp -d -t tmp.XXXXXXXXXX").check.out
+      execute("mktemp -d /tmp/ssh-XXXXXXXXXXXX").check.out
 
     override def with_tmp_dir[A](body: Path => A): A = {
       val remote_dir = tmp_dir()