nixos/jenkins: add services.jenkins.extraOpts option

Allows passing extra command line arguments to Jenkins.

Changed files
+10 -1
nixos
modules
services
continuous-integration
jenkins
+10 -1
nixos/modules/services/continuous-integration/jenkins/default.nix
···
The environment will always include JENKINS_HOME.
'';
};
+
+
extraOpts = mkOption {
+
type = types.listOf types.str;
+
default = [ ];
+
example = [ "--debug=9" "--httpListenAddress=localhost" ];
+
description = ''
+
Additional command line arguments to pass to Jenkins.
+
'';
+
};
};
};
···
path = cfg.packages;
script = ''
-
${pkgs.jdk}/bin/java -jar ${pkgs.jenkins} --httpPort=${toString cfg.port}
+
${pkgs.jdk}/bin/java -jar ${pkgs.jenkins} --httpPort=${toString cfg.port} ${concatStringsSep " " cfg.extraOpts}
'';
postStart = ''