equal
deleted
inserted
replaced
53 other_isabelle("components -a", redirect = true, echo = echo).check |
53 other_isabelle("components -a", redirect = true, echo = echo).check |
54 |
54 |
55 val isabelle_home_user: Path = |
55 val isabelle_home_user: Path = |
56 Path.explode(other_isabelle("getenv -b ISABELLE_HOME_USER").check.out) |
56 Path.explode(other_isabelle("getenv -b ISABELLE_HOME_USER").check.out) |
57 |
57 |
58 val etc_settings: Path = isabelle_home_user + Path.explode("etc/settings") |
58 val etc: Path = isabelle_home_user + Path.explode("etc") |
|
59 val etc_settings: Path = etc + Path.explode("settings") |
|
60 val etc_preferences: Path = etc + Path.explode("preferences") |
59 |
61 |
60 |
62 |
61 /* init settings */ |
63 /* init settings */ |
62 |
64 |
63 def init_settings(components_base: String, nonfree: Boolean, more_settings: List[String]) |
65 def init_settings(components_base: String, nonfree: Boolean, more_settings: List[String]) |