more operations;

--- a/src/Pure/Admin/component_rsync.scala	Thu Mar 30 12:10:08 2023 +0200
+++ b/src/Pure/Admin/component_rsync.scala	Thu Mar 30 12:56:29 2023 +0200
@@ -8,6 +8,11 @@
 
 
 object Component_Rsync {
+  /* resources */
+
+  def component_home: Path = Path.explode("$ISABELLE_RSYNC_HOME")
+
+
   /* build rsync */
 
   val default_version = "3.2.7"