diff options
author | Daniel Nagy <danielnagy@posteo.de> | 2022-11-30 17:15:00 +0100 |
---|---|---|
committer | Daniel Nagy <danielnagy@posteo.de> | 2022-12-08 00:00:00 +0100 |
commit | ad866e565db95c40ce13bf456a60108f94a5295e (patch) | |
tree | 0d8f48caac06af9c10a4d6c6f412d3e24605770c /nixos/modules/services/development | |
parent | 5108c96e98d38658e3f8668b5a96461df3c03382 (diff) |
treewide: switch to port type for nixos modules
Diffstat (limited to 'nixos/modules/services/development')
-rw-r--r-- | nixos/modules/services/development/jupyter/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixos/modules/services/development/jupyter/default.nix b/nixos/modules/services/development/jupyter/default.nix index c3ef040ebe65..9f7910844468 100644 --- a/nixos/modules/services/development/jupyter/default.nix +++ b/nixos/modules/services/development/jupyter/default.nix @@ -57,7 +57,7 @@ in { }; port = mkOption { - type = types.int; + type = types.port; default = 8888; description = lib.mdDoc '' Port number Jupyter will be listening on. |