ssh: add proxyJump option

(cherry picked from commit 3cf8b9ea86)
This commit is contained in:
John Wiegley 2019-01-15 13:09:16 -08:00 committed by Robert Helgesson
parent 47450371d9
commit 3656bf1ad7
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."; 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 { certificateFile = mkOption {
type = types.nullOr types.path; type = types.nullOr types.path;
default = null; default = null;
@ -169,6 +175,7 @@ let
++ optional (cf.compression != null) " Compression ${yn cf.compression}" ++ optional (cf.compression != null) " Compression ${yn cf.compression}"
++ optional (!cf.checkHostIP) " CheckHostIP no" ++ optional (!cf.checkHostIP) " CheckHostIP no"
++ optional (cf.proxyCommand != null) " ProxyCommand ${cf.proxyCommand}" ++ optional (cf.proxyCommand != null) " ProxyCommand ${cf.proxyCommand}"
++ optional (cf.proxyJump != null) " ProxyJump ${cf.proxyJump}"
++ mapAttrsToList (n: v: " ${n} ${v}") cf.extraOptions ++ mapAttrsToList (n: v: " ${n} ${v}") cf.extraOptions
); );