--- a/src/Pure/Admin/other_isabelle.scala Sat Oct 20 15:36:32 2018 +0200
+++ b/src/Pure/Admin/other_isabelle.scala Sun Oct 21 14:25:51 2018 +0200
@@ -52,8 +52,10 @@
def resolve_components(echo: Boolean): Unit =
other_isabelle("components -a", redirect = true, echo = echo).check
- val isabelle_home_user: Path =
- Path.explode(other_isabelle("getenv -b ISABELLE_HOME_USER").check.out)
+ def getenv(name: String): String =
+ other_isabelle("getenv -b " + Bash.string(name)).check.out
+
+ val isabelle_home_user: Path = Path.explode(getenv("ISABELLE_HOME_USER"))
val etc: Path = isabelle_home_user + Path.explode("etc")
val etc_settings: Path = etc + Path.explode("settings")