From cf7b782ea96947e56acd68480c5dd13fc6cec9d1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B8rn=20Forsman?= Date: Tue, 9 Sep 2014 17:34:49 +0200 Subject: [PATCH] nixos/jenkins: add services.jenkins.extraOpts option Allows passing extra command line arguments to Jenkins. --- .../continuous-integration/jenkins/default.nix | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/nixos/modules/services/continuous-integration/jenkins/default.nix b/nixos/modules/services/continuous-integration/jenkins/default.nix index b01b5c3245a..1a4e7fe213c 100644 --- a/nixos/modules/services/continuous-integration/jenkins/default.nix +++ b/nixos/modules/services/continuous-integration/jenkins/default.nix @@ -63,6 +63,15 @@ in { 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. + ''; + }; }; }; @@ -94,7 +103,7 @@ in { 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 = ''