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.
clarified: a variant of -i is the default, but its output is not as precise as it might seem;
authorwenzelm
Mon, 03 Oct 2016 16:15:59 +0200
changeset 64020 355b78441650
parent 64005 f6e965cf1617
child 64021 1e23caac8757
clarified: a variant of -i is the default, but its output is not as precise as it might seem;
src/Pure/General/mercurial.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/mercurial.scala	Mon Oct 03 12:39:03 2016 +0200
+++ b/src/Pure/General/mercurial.scala	Mon Oct 03 16:15:59 2016 +0200
@@ -40,7 +40,7 @@
       command("heads " + options + opt_template(template)).check.out_lines
 
     def identify(rev: String = "", options: String = ""): String =
-      command("id -i " + options + opt_rev(rev)).check.out_lines.headOption getOrElse ""
+      command("id " + options + opt_rev(rev)).check.out_lines.headOption getOrElse ""
 
     def manifest(rev: String = "", options: String = ""): List[String] =
       command("manifest " + options + opt_rev(rev)).check.out_lines
isabelle