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

Use types.port where applicable

This changes the type of all options that specify ports to
`types.port`. This type restricts values to between 0 and 65535.
This commit is contained in:
Robert Helgesson 2019-08-19 20:37:48 +02:00
parent 3d645c0ce1
commit ed4f66185f
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89
5 changed files with 6 additions and 6 deletions

View file

@ -95,7 +95,7 @@ let
}; };
port = mkOption { port = mkOption {
type = types.nullOr types.ints.positive; type = types.nullOr types.port;
default = null; default = null;
example = 993; example = 993;
description = '' description = ''
@ -125,7 +125,7 @@ let
}; };
port = mkOption { port = mkOption {
type = types.nullOr types.ints.positive; type = types.nullOr types.port;
default = null; default = null;
example = 465; example = 465;
description = '' description = ''

View file

@ -101,7 +101,7 @@ let
}; };
port = mkOption { port = mkOption {
type = types.int; type = types.port;
default = 6667; default = 6667;
description = "Port of the chat server."; description = "Port of the chat server.";
}; };

View file

@ -21,7 +21,7 @@ let
}; };
port = mkOption { port = mkOption {
type = types.nullOr types.int; type = types.nullOr types.port;
default = null; default = null;
description = "Specifies port number to connect on remote host."; description = "Specifies port number to connect on remote host.";
}; };

View file

@ -98,7 +98,7 @@ in {
}; };
port = mkOption { port = mkOption {
type = types.ints.positive; type = types.port;
default = 6600; default = 6600;
description = '' description = ''
The TCP port on which the the daemon will listen. The TCP port on which the the daemon will listen.

View file

@ -56,7 +56,7 @@ in
}; };
port = mkOption { port = mkOption {
type = types.ints.positive; type = types.port;
default = config.services.mpd.network.port; default = config.services.mpd.network.port;
defaultText = "config.services.mpd.network.port"; defaultText = "config.services.mpd.network.port";
description = '' description = ''