Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/mercurial.scala
changeset 64028 6cc79f1c82cd
parent 64027 4a33d740c9dc
child 64033 2989c1f2593a 
--- 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