tuned;
authorwenzelm
Wed May 24 11:39:00 2017 +0200 (23 months ago)
changeset 659165b8ed310b31d
parent 65915 49f61e2f5a02
child 65917 2b7d4678bce6
tuned;
src/Pure/Admin/other_isabelle.scala
src/Pure/System/isabelle_system.scala
     1.1 --- a/src/Pure/Admin/other_isabelle.scala	Wed May 24 11:17:23 2017 +0200
     1.2 +++ b/src/Pure/Admin/other_isabelle.scala	Wed May 24 11:39:00 2017 +0200
     1.3 @@ -15,8 +15,7 @@
     1.4    /* static system */
     1.5  
     1.6    def bash(script: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
     1.7 -    progress.bash(
     1.8 -      "export ISABELLE_IDENTIFIER=" + Bash.string(isabelle_identifier) + "\n" + script,
     1.9 +    progress.bash(Isabelle_System.export_isabelle_identifier(isabelle_identifier) + script,
    1.10        env = null, cwd = isabelle_home.file, redirect = redirect, echo = echo)
    1.11  
    1.12    def apply(cmdline: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
     2.1 --- a/src/Pure/System/isabelle_system.scala	Wed May 24 11:17:23 2017 +0200
     2.2 +++ b/src/Pure/System/isabelle_system.scala	Wed May 24 11:39:00 2017 +0200
     2.3 @@ -335,6 +335,10 @@
     2.4    def pdf_viewer(arg: Path): Unit =
     2.5      bash("exec \"$PDF_VIEWER\" " + File.bash_path(arg) + " >/dev/null 2>/dev/null &")
     2.6  
     2.7 +  def export_isabelle_identifier(isabelle_identifier: String): String =
     2.8 +    if (isabelle_identifier == "") ""
     2.9 +    else "export ISABELLE_IDENTIFIER=" + Bash.string(isabelle_identifier) + "\n"
    2.10 +
    2.11  
    2.12  
    2.13    /** Isabelle resources **/