1
0
mirror of https://github.com/nix-community/home-manager synced 2024-06-28 09:28:32 +02:00

ssh: add proxy command option

This commit is contained in:
Robert Helgesson 2017-05-13 12:08:09 +02:00
parent bce262e46e
commit 961722c3a8
No known key found for this signature in database
GPG Key ID: C3DB11069E65DC86

View File

@ -89,6 +89,12 @@ let
<filename>known_hosts</filename> file.
'';
};
proxyCommand = mkOption {
type = types.nullOr types.str;
default = null;
description = "The command to use to connect to the server.";
};
};
};
@ -104,6 +110,7 @@ let
++ optional (cf.serverAliveInterval != 0)
" ServerAliveInterval ${toString cf.serverAliveInterval}"
++ optional (!cf.checkHostIP) " CheckHostIP no"
++ optional (cf.proxyCommand != null) " ProxyCommand ${cf.proxyCommand}"
);
in