equal
deleted
inserted
replaced
75 hg.command("log", opt_rev(rev) + opt_template(template), options).check.out |
75 hg.command("log", opt_rev(rev) + opt_template(template), options).check.out |
76 |
76 |
77 def pull(remote: String = "", rev: String = "", options: String = ""): Unit = |
77 def pull(remote: String = "", rev: String = "", options: String = ""): Unit = |
78 hg.command("pull", opt_rev(rev) + optional(remote), options).check |
78 hg.command("pull", opt_rev(rev) + optional(remote), options).check |
79 |
79 |
|
80 def pull_id(remote: String = ""): String = |
|
81 { |
|
82 hg.pull(remote = remote, options = "-q") |
|
83 hg.identify("tip", options = "-i") |
|
84 } |
|
85 |
80 def update( |
86 def update( |
81 rev: String = "", clean: Boolean = false, check: Boolean = false, options: String = "") |
87 rev: String = "", clean: Boolean = false, check: Boolean = false, options: String = "") |
82 { |
88 { |
83 hg.command("update", |
89 hg.command("update", |
84 opt_rev(rev) + opt_flag("--clean", clean) + opt_flag("--check", check), options).check |
90 opt_rev(rev) + opt_flag("--clean", clean) + opt_flag("--check", check), options).check |