nixos/jekins: rename option services.jenkins.{extraOpts => extraOptions}

I noticed "extraOptions" is infinitely more used than "extraOpts" in
NixOS.

Changed files
+2 -2
nixos
modules
services
continuous-integration
jenkins
+2 -2
nixos/modules/services/continuous-integration/jenkins/default.nix
···
'';
};
-
extraOpts = mkOption {
+
extraOptions = mkOption {
type = types.listOf types.str;
default = [ ];
example = [ "--debug=9" "--httpListenAddress=localhost" ];
···
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 = ''