# HG changeset patch # User wenzelm # Date 1674568801 -3600 # Node ID 7a89ef6b02760085bbefbfbd99ffbfe4aa06afcc # Parent 2310755b38ad5fa2ef58da2cc63ee38198568283 tuned; diff -r 2310755b38ad -r 7a89ef6b0276 src/Pure/Admin/other_isabelle.scala --- a/src/Pure/Admin/other_isabelle.scala Tue Jan 24 14:55:19 2023 +0100 +++ b/src/Pure/Admin/other_isabelle.scala Tue Jan 24 15:00:01 2023 +0100 @@ -24,8 +24,6 @@ user_home: Path, progress: Progress ) { - other_isabelle => - override def toString: String = isabelle_home.toString if (proper_string(System.getenv("ISABELLE_SETTINGS_PRESENT")).isDefined) { @@ -48,7 +46,7 @@ } def getenv(name: String): String = - other_isabelle.bash("bin/isabelle getenv -b " + Bash.string(name)).check.out + bash("bin/isabelle getenv -b " + Bash.string(name)).check.out val isabelle_home_user: Path = Path.explode(getenv("ISABELLE_HOME_USER")) @@ -56,10 +54,11 @@ val etc_settings: Path = etc + Path.explode("settings") val etc_preferences: Path = etc + Path.explode("preferences") - def resolve_components(echo: Boolean): Unit = { + def resolve_components(echo: Boolean = false): Unit = { val missing = Path.split(getenv("ISABELLE_COMPONENTS_MISSING")) for (path <- missing) { - Components.resolve(path.dir, path.file_name, progress = if (echo) progress else new Progress) + Components.resolve(path.dir, path.file_name, + progress = if (echo) progress else new Progress) } }