diff -r b20ac2c26ea3 -r c2ce9ac85859 src/Pure/Admin/component_rsync.scala
--- a/src/Pure/Admin/component_rsync.scala	Sat Apr 08 17:20:15 2023 +0200
+++ b/src/Pure/Admin/component_rsync.scala	Sat Apr 08 18:08:20 2023 +0200
@@ -10,7 +10,14 @@
 object Component_Rsync {
   /* resources */
 
-  def component_home: Path = Path.explode("$ISABELLE_RSYNC_HOME")
+  def home: Path = Path.explode("$ISABELLE_RSYNC_HOME")
+
+  def local_program: Path = Path.explode("$ISABELLE_RSYNC")
+
+  def remote_program(directory: Components.Directory): Path = {
+    val platform = "platform_" + directory.ssh.isabelle_platform.ISABELLE_PLATFORM64
+    directory.path + Path.basic(platform) + Path.basic("rsync")
+  }
 
 
   /* build rsync */