diff options
author | Fritz Otlinghaus <fritz@otlinghaus.it> | 2021-01-22 11:11:40 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-22 11:11:40 +0100 |
commit | c1efc3274093abbd3b89091ff1df8edda550abd9 (patch) | |
tree | 2f19a5097158b6c61970708f69f1eb945ad97c76 /nixos/modules/services/web-servers/jboss | |
parent | 332a53728cd5c4059de54fa8cd6f7746ae221372 (diff) |
nixos/module/jboss: Add types to options (#110451)
Diffstat (limited to 'nixos/modules/services/web-servers/jboss')
-rw-r--r-- | nixos/modules/services/web-servers/jboss/default.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/nixos/modules/services/web-servers/jboss/default.nix b/nixos/modules/services/web-servers/jboss/default.nix index ca5b8635fc006..d243e0f3f1b78 100644 --- a/nixos/modules/services/web-servers/jboss/default.nix +++ b/nixos/modules/services/web-servers/jboss/default.nix @@ -31,32 +31,38 @@ in tempDir = mkOption { default = "/tmp"; + type = types.str; description = "Location where JBoss stores its temp files"; }; logDir = mkOption { default = "/var/log/jboss"; + type = types.str; description = "Location of the logfile directory of JBoss"; }; serverDir = mkOption { description = "Location of the server instance files"; default = "/var/jboss/server"; + type = types.str; }; deployDir = mkOption { description = "Location of the deployment files"; default = "/nix/var/nix/profiles/default/server/default/deploy/"; + type = types.str; }; libUrl = mkOption { default = "file:///nix/var/nix/profiles/default/server/default/lib"; description = "Location where the shared library JARs are stored"; + type = types.str; }; user = mkOption { default = "nobody"; description = "User account under which jboss runs."; + type = types.str; }; useJK = mkOption { |