Override ProxyCommand when syncing home folders

diff --git a/unison.dot/default-home.prf.link b/unison.dot/default-home.prf.link
index 72be278906c604f5ecb4d069b26a179583c1d73a..da203c951cc54b3a6586a2eb60bc39f7c0618a82 100644 (file)
--- 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