Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust;
authorwenzelm
Mon, 03 Oct 2016 21:53:14 +0200
changeset 64028 6cc79f1c82cd
parent 64027 4a33d740c9dc
child 64029 8b6c18aada46
more robust;
src/Pure/General/mercurial.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/mercurial.scala	Mon Oct 03 21:36:10 2016 +0200
+++ b/src/Pure/General/mercurial.scala	Mon Oct 03 21:53:14 2016 +0200
@@ -33,7 +33,8 @@
     def close() { }
 
     def command(cmd: String, cwd: JFile = null): Process_Result =
-      Isabelle_System.hg("--repository " + File.bash_path(root) + " " + cmd, cwd = cwd)
+      Isabelle_System.hg("--repository " + File.bash_path(root) + " --noninteractive " + cmd,
+        cwd = cwd)
 
 
     def heads(template: String = "{node|short}\n", options: String = ""): List[String] =
isabelle