# HG changeset patch
# User wenzelm
# Date 1534531440 -7200
# Node ID 8999f9143e5fad9f35a550025abd70d6a94f2d24
# Parent  b0ed78ffa4d95e10c3bef5be268cb8276ab8b51f
clarified signature;

diff -r b0ed78ffa4d9 -r 8999f9143e5f src/Pure/Admin/other_isabelle.scala
--- 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 */