contrib/plan9/hgrc.d/9diff.rc
author Pierre-Yves David <pierre-yves.david@fb.com>
Wed, 20 May 2015 11:55:59 -0500
changeset 25458 4642f0b803ae
parent 19617 ba89c3872801
permissions -rw-r--r--
sshpeer: also use doublepipe for client to server communication This will allow even more real time output when the server issue output in the middle a stream push.

# The 9diff extdiff command generates diff(1) compatible output
# suitable for use with the plumber(4).
[extensions]
extdiff =

[extdiff]
9diff = /bin/mercurial/9diff -cm $parent $child $root