--- a/src/Pure/General/mercurial.scala Mon Jul 02 10:17:23 2018 +0200
+++ b/src/Pure/General/mercurial.scala Mon Jul 02 16:26:58 2018 +0200
@@ -88,7 +88,7 @@
repository: Boolean = true): Process_Result =
{
val cmdline =
- "\"${HG:-hg}\" --config " + Bash.string("defaults." + name + "=") +
+ "export HGPLAIN=\n\"${HG:-hg}\" --config " + Bash.string("defaults." + name + "=") +
(if (repository) " --repository " + ssh.bash_path(root) else "") +
" --noninteractive " + name + " " + options + " " + args
ssh.execute(cmdline)