jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

nixos/jenkins: remove use of types.string (it's deprecated)

Browse Source
This commit is contained in:
Bjørn Forsman 2014-09-09 17:35:24 +02:00
parent cf7b782ea9
commit cb614ef4ad
2 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
nixos/modules/services/continuous-integration/jenkins/default.nix
View File

@ -15,7 +15,7 @@ in {
user = mkOption {
default = "jenkins";
type = with types; string;
type = types.str;
description = ''
User the jenkins server should execute under.
'';
@ -23,7 +23,7 @@ in {
group = mkOption {
default = "jenkins";
type = with types; string;
type = types.str;
description = ''
If the default user "jenkins" is configured then this is the primary
group of that user.
@ -32,7 +32,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.
@ -57,7 +57,7 @@ in {
environment = mkOption {
default = { NIX_REMOTE = "daemon"; };
type = with types; attrsOf string;
type = with types; attrsOf str;
description = ''
Additional environment variables to be passed to the jenkins process.
The environment will always include JENKINS_HOME.

6
nixos/modules/services/continuous-integration/jenkins/slave.nix
View File

@ -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.