--- a/src/Pure/Admin/other_isabelle.scala Wed Aug 15 16:15:23 2018 +0200
+++ b/src/Pure/Admin/other_isabelle.scala Fri Aug 17 20:44:00 2018 +0200
@@ -55,7 +55,9 @@
val isabelle_home_user: Path =
Path.explode(other_isabelle("getenv -b ISABELLE_HOME_USER").check.out)
- val etc_settings: Path = isabelle_home_user + Path.explode("etc/settings")
+ val etc: Path = isabelle_home_user + Path.explode("etc")
+ val etc_settings: Path = etc + Path.explode("settings")
+ val etc_preferences: Path = etc + Path.explode("preferences")
/* init settings */