services.devpi-server.port
NixOS option
The port on which Devpi Server will listen.
type: 16 bit unsigned integer; between 0 and 65535 (both inclusive)Default
declared in: nixos/modules/services/misc/devpi-server.nixView source on NixOS/nixpkgs →3141