diff options
Diffstat (limited to 'nixos/modules/services/continuous-integration/jenkins/slave.nix')
-rw-r--r-- | nixos/modules/services/continuous-integration/jenkins/slave.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/nixos/modules/services/continuous-integration/jenkins/slave.nix b/nixos/modules/services/continuous-integration/jenkins/slave.nix index 5836d92a4fc..a0216caf2b5 100644 --- a/nixos/modules/services/continuous-integration/jenkins/slave.nix +++ b/nixos/modules/services/continuous-integration/jenkins/slave.nix @@ -23,7 +23,7 @@ in { user = mkOption { default = "jenkins"; - type = with types; string; + type = types.str; description = '' User the jenkins slave agent should execute under. ''; @@ -31,7 +31,7 @@ in { group = mkOption { default = "jenkins"; - type = with types; string; + type = types.str; description = '' If the default slave agent user "jenkins" is configured then this is the primary group of that user. @@ -40,7 +40,7 @@ in { home = mkOption { default = "/var/lib/jenkins"; - type = with types; string; + type = types.path; description = '' The path to use as JENKINS_HOME. If the default user "jenkins" is configured then this is the home of the "jenkins" user. |