1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-30 06:59:45 +01:00

ssh: add proxyJump option

This commit is contained in:
John Wiegley 2019-01-15 13:09:16 -08:00 committed by Robert Helgesson
parent df8a14e12a
commit 3cf8b9ea86
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -125,6 +125,12 @@ let
description = "The command to use to connect to the server.";
};
proxyJump = mkOption {
type = types.nullOr types.str;
default = null;
description = "The proxy host to use to connect to the server.";
};
certificateFile = mkOption {
type = types.nullOr types.path;
default = null;
@ -169,6 +175,7 @@ let
++ optional (cf.compression != null) " Compression ${yn cf.compression}"
++ optional (!cf.checkHostIP) " CheckHostIP no"
++ optional (cf.proxyCommand != null) " ProxyCommand ${cf.proxyCommand}"
++ optional (cf.proxyJump != null) " ProxyJump ${cf.proxyJump}"
++ mapAttrsToList (n: v: " ${n} ${v}") cf.extraOptions
);