src/Pure/Admin/other_isabelle.scala
changeset 68754 8999f9143e5f
parent 67046 897f1ac84aab
child 69166 5c553c48c0e5
     1.1 --- a/src/Pure/Admin/other_isabelle.scala	Wed Aug 15 16:15:23 2018 +0200
     1.2 +++ b/src/Pure/Admin/other_isabelle.scala	Fri Aug 17 20:44:00 2018 +0200
     1.3 @@ -55,7 +55,9 @@
     1.4    val isabelle_home_user: Path =
     1.5      Path.explode(other_isabelle("getenv -b ISABELLE_HOME_USER").check.out)
     1.6  
     1.7 -  val etc_settings: Path = isabelle_home_user + Path.explode("etc/settings")
     1.8 +  val etc: Path = isabelle_home_user + Path.explode("etc")
     1.9 +  val etc_settings: Path = etc + Path.explode("settings")
    1.10 +  val etc_preferences: Path = etc + Path.explode("preferences")
    1.11  
    1.12  
    1.13    /* init settings */