diff .hgrc @ 187:1e15f715858e

A slightly nicer vimdiff
author Steve Huston <huston@astro.princeton.edu>
date Thu, 05 Mar 2020 18:01:08 -0500
parents 21e0ab41e180
children 282804a3a32b
line wrap: on
line diff
--- a/.hgrc	Tue Mar 03 16:48:59 2020 -0500
+++ b/.hgrc	Thu Mar 05 18:01:08 2020 -0500
@@ -13,7 +13,8 @@
 
 [merge-tools]
 vimdiff.executable = vim
-vimdiff.args = -d $output $base $local $other -c "wincmd J"
+vimdiff.args = -f -d $output -M $local $base $other -c "wincmd J" -c "set modifiable" -c "set write"
+vimdiff.premerge = keep
 
 [trusted]
 groups = help