src/Pure/System/isabelle_system.scala

 
   /* mkdirs */
 
   def mkdirs(path: Path): Unit =
     if (!path.is_dir) {
-      bash("perl -e \"use File::Path make_path; make_path(" + File.shell_path(path) + ");\"")
+      bash_result("perl -e \"use File::Path make_path; make_path(" + File.shell_path(path) + ");\"")
       if (!path.is_dir) error("Failed to create directory: " + quote(File.platform_path(path)))
     }
 
 
 

         case _ =>
       }
     }
   }
 
-  def bash_env(cwd: JFile, env: Map[String, String], script: String,
+  def bash_result(script: String, cwd: JFile = null, env: Map[String, String] = null,
     progress_stdout: String => Unit = (_: String) => (),
     progress_stderr: String => Unit = (_: String) => (),
     progress_limit: Option[Long] = None,
     strict: Boolean = true): Bash.Result =
   {

 
       Bash.Result(stdout.join, stderr.join, rc)
     }
   }
 
-  def bash(script: String): Bash.Result = bash_env(null, null, script)
+  def bash(script: String): Int =
+  {
+    val result = bash_result(script)
+    Output.warning(Library.trim_line(result.err))
+    Output.writeln(Library.trim_line(result.out))
+    result.rc
+  }
 
 
   /* system tools */
 
   def isabelle_tool(name: String, args: String*): (String, Int) =

       case None => ("Unknown Isabelle tool: " + name, 2)
     }
   }
 
   def open(arg: String): Unit =
-    bash("exec \"$ISABELLE_OPEN\" '" + arg + "' >/dev/null 2>/dev/null &")
+    bash_result("exec \"$ISABELLE_OPEN\" '" + arg + "' >/dev/null 2>/dev/null &")
 
   def pdf_viewer(arg: Path): Unit =
-    bash("exec \"$PDF_VIEWER\" '" + File.standard_path(arg) + "' >/dev/null 2>/dev/null &")
+    bash_result("exec \"$PDF_VIEWER\" '" + File.standard_path(arg) + "' >/dev/null 2>/dev/null &")
 
   def hg(cmd_line: String, cwd: Path = Path.current): Bash.Result =
-    bash("cd " + File.shell_path(cwd) + " && \"${HG:-hg}\" " + cmd_line)
+    bash_result("cd " + File.shell_path(cwd) + " && \"${HG:-hg}\" " + cmd_line)
 
 
   /** Isabelle resources **/
 
   /* components */