1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-12-24 18:59:47 +01:00

ssh: allow disabling compression in host block

Fixes #181.
This commit is contained in:
Robert Helgesson 2018-01-14 22:06:32 +01:00
parent 576217d33a
commit 32b3f7f2d2
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86

View file

@ -82,9 +82,12 @@ let
};
compression = mkOption {
type = types.bool;
default = false;
description = "Specifies whether to use compression.";
type = types.nullOr types.bool;
default = null;
description = ''
Specifies whether to use compression. Omitted from the host
block when <literal>null</literal>.
'';
};
checkHostIP = mkOption {
@ -123,7 +126,7 @@ let
++ optional (cf.hostname != null) " HostName ${cf.hostname}"
++ optional (cf.serverAliveInterval != 0)
" ServerAliveInterval ${toString cf.serverAliveInterval}"
++ optional cf.compression " Compression yes"
++ optional (cf.compression != null) " Compression ${yn cf.compression}"
++ optional (!cf.checkHostIP) " CheckHostIP no"
++ optional (cf.proxyCommand != null) " ProxyCommand ${cf.proxyCommand}"
++ mapAttrsToList (n: v: " ${n} ${v}") cf.extraOptions