From 79f30dd41bd315a7ab79a9724d0608480ef5d775 Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Wed, 22 Jan 2014 11:31:34 -0200
Subject: Override ProxyCommand when syncing home folders

---
 unison.dot/default-home.prf.link | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/unison.dot/default-home.prf.link b/unison.dot/default-home.prf.link
index 72be278..da203c9 100644
--- a/unison.dot/default-home.prf.link
+++ b/unison.dot/default-home.prf.link
@@ -47,5 +47,8 @@ auto = true
 addversionno = true
 
 # Optimizations
-sshargs = -C
+#
+# We set ProxyCommand to none to make sure monkeysphere won't
+# update ~/.ssh/known_hosts and thus preventing syncing of this file.
+sshargs = -C -oProxyCommand=none
 copythreshold = 10000
-- 
cgit v1.2.3