nixos/module/jboss: Add types to options (#110451)

This commit is contained in:
Fritz Otlinghaus 2021-01-22 11:11:40 +01:00 committed by GitHub
parent 332a53728c
commit c1efc32740
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -31,32 +31,38 @@ in
tempDir = mkOption { tempDir = mkOption {
default = "/tmp"; default = "/tmp";
type = types.str;
description = "Location where JBoss stores its temp files"; description = "Location where JBoss stores its temp files";
}; };
logDir = mkOption { logDir = mkOption {
default = "/var/log/jboss"; default = "/var/log/jboss";
type = types.str;
description = "Location of the logfile directory of JBoss"; description = "Location of the logfile directory of JBoss";
}; };
serverDir = mkOption { serverDir = mkOption {
description = "Location of the server instance files"; description = "Location of the server instance files";
default = "/var/jboss/server"; default = "/var/jboss/server";
type = types.str;
}; };
deployDir = mkOption { deployDir = mkOption {
description = "Location of the deployment files"; description = "Location of the deployment files";
default = "/nix/var/nix/profiles/default/server/default/deploy/"; default = "/nix/var/nix/profiles/default/server/default/deploy/";
type = types.str;
}; };
libUrl = mkOption { libUrl = mkOption {
default = "file:///nix/var/nix/profiles/default/server/default/lib"; default = "file:///nix/var/nix/profiles/default/server/default/lib";
description = "Location where the shared library JARs are stored"; description = "Location where the shared library JARs are stored";
type = types.str;
}; };
user = mkOption { user = mkOption {
default = "nobody"; default = "nobody";
description = "User account under which jboss runs."; description = "User account under which jboss runs.";
type = types.str;
}; };
useJK = mkOption { useJK = mkOption {