equal
deleted
inserted
replaced
86 |
86 |
87 def command(name: String, args: String = "", options: String = "", |
87 def command(name: String, args: String = "", options: String = "", |
88 repository: Boolean = true): Process_Result = |
88 repository: Boolean = true): Process_Result = |
89 { |
89 { |
90 val cmdline = |
90 val cmdline = |
91 "\"${HG:-hg}\" --config " + Bash.string("defaults." + name + "=") + |
91 "export HGPLAIN=\n\"${HG:-hg}\" --config " + Bash.string("defaults." + name + "=") + |
92 (if (repository) " --repository " + ssh.bash_path(root) else "") + |
92 (if (repository) " --repository " + ssh.bash_path(root) else "") + |
93 " --noninteractive " + name + " " + options + " " + args |
93 " --noninteractive " + name + " " + options + " " + args |
94 ssh.execute(cmdline) |
94 ssh.execute(cmdline) |
95 } |
95 } |
96 |
96 |