1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-23 11:39:46 +01:00

ssh: add certificateFile option

This commit is contained in:
Robert Helgesson 2018-12-05 00:14:15 +01:00
parent 5fe62660aa
commit 6826521ec5
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -125,6 +125,14 @@ let
description = "The command to use to connect to the server.";
};
certificateFile = mkOption {
type = types.nullOr types.path;
default = null;
description = ''
Specifies a file from which the user certificate is read.
'';
};
extraOptions = mkOption {
type = types.attrsOf types.str;
default = {};
@ -144,6 +152,7 @@ let
++ optional cf.identitiesOnly " IdentitiesOnly yes"
++ optional (cf.user != null) " User ${cf.user}"
++ optional (cf.identityFile != null) " IdentityFile ${cf.identityFile}"
++ optional (cf.certificateFile != null) " CertificateFile ${cf.certificateFile}"
++ optional (cf.hostname != null) " HostName ${cf.hostname}"
++ optional (cf.sendEnv != []) " SendEnv ${unwords cf.sendEnv}"
++ optional (cf.serverAliveInterval != 0)