From e84b0c94f0e36d7ffc32da62c91ad44f47d72270 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B8rn=20Forsman?= <bjorn.forsman@gmail.com>
Date: Tue, 9 Sep 2014 17:38:40 +0200
Subject: [PATCH] nixos/jekins: rename option services.jenkins.{extraOpts =>
 extraOptions}

I noticed "extraOptions" is infinitely more used than "extraOpts" in
NixOS.
---
 .../services/continuous-integration/jenkins/default.nix       | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/nixos/modules/services/continuous-integration/jenkins/default.nix b/nixos/modules/services/continuous-integration/jenkins/default.nix
index 570b53038be..7418be1c6ba 100644
--- a/nixos/modules/services/continuous-integration/jenkins/default.nix
+++ b/nixos/modules/services/continuous-integration/jenkins/default.nix
@@ -64,7 +64,7 @@ in {
         '';
       };
 
-      extraOpts = mkOption {
+      extraOptions = mkOption {
         type = types.listOf types.str;
         default = [ ];
         example = [ "--debug=9" "--httpListenAddress=localhost" ];
@@ -103,7 +103,7 @@ in {
       path = cfg.packages;
 
       script = ''
-        ${pkgs.jdk}/bin/java -jar ${pkgs.jenkins} --httpPort=${toString cfg.port} ${concatStringsSep " " cfg.extraOpts}
+        ${pkgs.jdk}/bin/java -jar ${pkgs.jenkins} --httpPort=${toString cfg.port} ${concatStringsSep " " cfg.extraOptions}
       '';
 
       postStart = ''