nixos/virtuoso: Type all options

This commit is contained in:
Janne Heß 2019-12-30 00:02:47 +01:00 committed by Jörg Thalheim
parent 9786adf23b
commit d00e5e84cc
No known key found for this signature in database
GPG Key ID: 003F2096411B5F92

View File

@ -16,28 +16,33 @@ with lib;
enable = mkEnableOption "Virtuoso Opensource database server"; enable = mkEnableOption "Virtuoso Opensource database server";
config = mkOption { config = mkOption {
type = types.lines;
default = ""; default = "";
description = "Extra options to put into Virtuoso configuration file."; description = "Extra options to put into Virtuoso configuration file.";
}; };
parameters = mkOption { parameters = mkOption {
type = types.lines;
default = ""; default = "";
description = "Extra options to put into [Parameters] section of Virtuoso configuration file."; description = "Extra options to put into [Parameters] section of Virtuoso configuration file.";
}; };
listenAddress = mkOption { listenAddress = mkOption {
type = types.str;
default = "1111"; default = "1111";
example = "myserver:1323"; example = "myserver:1323";
description = "ip:port or port to listen on."; description = "ip:port or port to listen on.";
}; };
httpListenAddress = mkOption { httpListenAddress = mkOption {
type = types.nullOr types.str;
default = null; default = null;
example = "myserver:8080"; example = "myserver:8080";
description = "ip:port or port for Virtuoso HTTP server to listen on."; description = "ip:port or port for Virtuoso HTTP server to listen on.";
}; };
dirsAllowed = mkOption { dirsAllowed = mkOption {
type = types.nullOr types.str; # XXX Maybe use a list in the future?
default = null; default = null;
example = "/www, /home/"; example = "/www, /home/";
description = "A list of directories Virtuoso is allowed to access"; description = "A list of directories Virtuoso is allowed to access";