diff options
| -rw-r--r-- | unison.dot/default-code.prf.link | 4 | ||||
| -rw-r--r-- | unison.dot/default-home.prf.link | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/unison.dot/default-code.prf.link b/unison.dot/default-code.prf.link index b61a236..b0652ec 100644 --- a/unison.dot/default-code.prf.link +++ b/unison.dot/default-code.prf.link @@ -4,3 +4,7 @@ logfile = .unison/unison.log # Automatically accept default (nonconflicting) actions auto = true addversionno = true + +# Optimizations +sshargs = -C +copythreshold = 10000 diff --git a/unison.dot/default-home.prf.link b/unison.dot/default-home.prf.link index f93097d..72be278 100644 --- a/unison.dot/default-home.prf.link +++ b/unison.dot/default-home.prf.link @@ -45,3 +45,7 @@ logfile = .unison/unison.log # Automatically accept default (nonconflicting) actions auto = true addversionno = true + +# Optimizations +sshargs = -C +copythreshold = 10000 |