From: Silvio Rhatto <rhatto@riseup.net>
Date: Wed, 22 Jan 2014 13:31:34 +0000 (-0200)
Subject: Override ProxyCommand when syncing home folders
X-Git-Url: https://gitweb.fluxo.info/?a=commitdiff_plain;h=79f30dd41bd315a7ab79a9724d0608480ef5d775;p=rhatto%2Fdotfiles%2Funison.git

Override ProxyCommand when syncing home folders
---

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