--- 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 */