src/Pure/Admin/other_isabelle.scala
changeset 65845 b8ff63149256
parent 64315 e48e2532ac17
child 65916 5b8ed310b31d
     1.1 --- a/src/Pure/Admin/other_isabelle.scala	Tue May 16 15:53:27 2017 +0200
     1.2 +++ b/src/Pure/Admin/other_isabelle.scala	Tue May 16 16:04:50 2017 +0200
     1.3 @@ -33,7 +33,7 @@
     1.4  
     1.5    /* init settings */
     1.6  
     1.7 -  def init_settings(components_base: String, nonfree: Boolean)
     1.8 +  def init_settings(components_base: String, nonfree: Boolean, more_settings: List[String])
     1.9    {
    1.10      if (etc_settings.is_file && !File.read(etc_settings).startsWith("# generated by Isabelle"))
    1.11        error("Cannot proceed with existing user settings file: " + etc_settings)
    1.12 @@ -56,6 +56,11 @@
    1.13          "init_components " + File.bash_path(components_base_path) +
    1.14            " \"$ISABELLE_HOME/Admin/components/" + catalog + "\"")
    1.15      }
    1.16 -    File.append(etc_settings, "\n" + terminate_lines(component_settings))
    1.17 +
    1.18 +    val settings =
    1.19 +      List(component_settings) :::
    1.20 +      (if (more_settings.isEmpty) Nil else List(more_settings))
    1.21 +
    1.22 +    File.append(etc_settings, "\n" + cat_lines(settings.map(terminate_lines(_))))
    1.23    }
    1.24  }