ssh: use types.str instead of types.string

The `types.string` type is deprecated due to its surprising behavior.
This commit is contained in:
Robert Helgesson 2017-05-13 12:23:59 +02:00
parent 961722c3a8
commit ecf7d91d8b
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86

View file

@ -55,7 +55,7 @@ let
}; };
identityFile = mkOption { identityFile = mkOption {
type = types.nullOr types.string; type = types.nullOr types.str;
default = null; default = null;
description = '' description = ''
Specifies a file from which the user identity is read. Specifies a file from which the user identity is read.
@ -63,13 +63,13 @@ let
}; };
user = mkOption { user = mkOption {
type = types.nullOr types.string; type = types.nullOr types.str;
default = null; default = null;
description = "Specifies the user to log in as."; description = "Specifies the user to log in as.";
}; };
hostname = mkOption { hostname = mkOption {
type = types.nullOr types.string; type = types.nullOr types.str;
default = null; default = null;
description = "Specifies the real host name to log into."; description = "Specifies the real host name to log into.";
}; };
@ -137,7 +137,7 @@ in
}; };
controlPath = mkOption { controlPath = mkOption {
type = types.string; type = types.str;
default = "~/.ssh/master-%r@%h:%p"; default = "~/.ssh/master-%r@%h:%p";
description = '' description = ''
Specify path to the control socket used for connection sharing. Specify path to the control socket used for connection sharing.