--- a/src/Pure/Admin/other_isabelle.scala Wed May 24 11:17:23 2017 +0200
+++ b/src/Pure/Admin/other_isabelle.scala Wed May 24 11:39:00 2017 +0200
@@ -15,8 +15,7 @@
/* static system */
def bash(script: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
- progress.bash(
- "export ISABELLE_IDENTIFIER=" + Bash.string(isabelle_identifier) + "\n" + script,
+ progress.bash(Isabelle_System.export_isabelle_identifier(isabelle_identifier) + script,
env = null, cwd = isabelle_home.file, redirect = redirect, echo = echo)
def apply(cmdline: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
--- a/src/Pure/System/isabelle_system.scala Wed May 24 11:17:23 2017 +0200
+++ b/src/Pure/System/isabelle_system.scala Wed May 24 11:39:00 2017 +0200
@@ -335,6 +335,10 @@
def pdf_viewer(arg: Path): Unit =
bash("exec \"$PDF_VIEWER\" " + File.bash_path(arg) + " >/dev/null 2>/dev/null &")
+ def export_isabelle_identifier(isabelle_identifier: String): String =
+ if (isabelle_identifier == "") ""
+ else "export ISABELLE_IDENTIFIER=" + Bash.string(isabelle_identifier) + "\n"
+
/** Isabelle resources **/