--- a/src/Pure/Admin/other_isabelle.scala Sun Dec 09 00:08:59 2018 +0100
+++ b/src/Pure/Admin/other_isabelle.scala Sun Dec 09 12:09:54 2018 +0100
@@ -68,20 +68,17 @@
/* components */
- def components_base(base: Option[Path]): Path =
- base getOrElse Components.contrib(isabelle_home_user.dir)
-
def init_components(
- base: Option[Path] = None,
+ components_base: Path = Components.default_components_base,
catalogs: List[String] = Nil,
components: List[String] = Nil): List[String] =
{
- val base_dir = components_base(base)
val dir = Components.admin(isabelle_home)
catalogs.map(name =>
- "init_components " + File.bash_path(base_dir) + " " + File.bash_path(dir + Path.basic(name))) :::
+ "init_components " + File.bash_path(components_base) + " " +
+ File.bash_path(dir + Path.basic(name))) :::
components.map(name =>
- "init_component " + File.bash_path(base_dir + Path.basic(name)))
+ "init_component " + File.bash_path(components_base + Path.basic(name)))
}