--- a/src/Pure/Admin/other_isabelle.scala Tue Feb 09 14:03:05 2021 +0100
+++ b/src/Pure/Admin/other_isabelle.scala Tue Feb 09 14:13:03 2021 +0100
@@ -69,11 +69,14 @@
/* components */
def init_components(
+ component_repository: String = Components.default_component_repository,
components_base: Path = Components.default_components_base,
catalogs: List[String] = Nil,
components: List[String] = Nil): List[String] =
{
val dir = Components.admin(isabelle_home)
+
+ ("ISABELLE_COMPONENT_REPOSITORY=" + Bash.string(component_repository)) ::
catalogs.map(name =>
"init_components " + File.bash_path(components_base) + " " +
File.bash_path(dir + Path.basic(name))) :::