# HG changeset patch
# User wenzelm
# Date 1504200883 -7200
# Node ID 6e35cf3ce869173409be6b07f0fe218d6d22a259
# Parent  7d4da1c62de709610012ae22ae4238ef81e34869
template for $ISABELLE_HOME_USER/ROOTS;

diff -r 7d4da1c62de7 -r 6e35cf3ce869 src/Pure/Tools/main.scala
--- a/src/Pure/Tools/main.scala	Thu Aug 31 19:29:42 2017 +0200
+++ b/src/Pure/Tools/main.scala	Thu Aug 31 19:34:43 2017 +0200
@@ -23,6 +23,21 @@
         GUI.install_fonts()
 
 
+        /* ROOTS template */
+
+        {
+          val roots = Path.explode("$ISABELLE_HOME_USER/ROOTS")
+          if (!roots.is_file) File.write(roots, """# Additional session root directories
+#
+#   * each line contains one directory entry in Isabelle path notation
+#   * lines starting with "#" are stripped
+#   * changes require application restart
+#
+#:mode=text:encoding=UTF-8:
+""")
+        }
+
+
         /* settings directory */
 
         val settings_dir = Path.explode("$JEDIT_SETTINGS")