diff options
Diffstat (limited to 'unison.dot/default-home.prf.link')
| -rw-r--r-- | unison.dot/default-home.prf.link | 5 |
1 files changed, 4 insertions, 1 deletions
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 |