src/Pure/General/rsync.scala

--- a/src/Pure/General/rsync.scala	Fri May 24 17:31:49 2024 +0200
+++ b/src/Pure/General/rsync.scala	Fri May 24 19:15:51 2024 +0200
@@ -40,10 +40,8 @@
         (if (stats) " --stats" else "")
     }
 
-    def target(path: Path, direct: Boolean = false): String = {
-      val s = ssh.rsync_path(path)
-      if (direct) Url.direct_path(s) else s
-    }
+    def target(path: Path, direct: Boolean = false): String =
+      Url.dir_path(ssh.rsync_path(path), direct = direct)
   }
 
   def exec(