services.jenkins.plugins: fix initial case
This commit is contained in:
parent
777d5ee732
commit
cb5cb0bf95
@ -103,7 +103,7 @@ in {
|
|||||||
|
|
||||||
plugins = mkOption {
|
plugins = mkOption {
|
||||||
default = null;
|
default = null;
|
||||||
#type = types.nullOr (types.attrsOf types.package);
|
type = types.nullOr (types.attrsOf types.package);
|
||||||
description = ''
|
description = ''
|
||||||
A set of plugins to activate. Note that this will completely
|
A set of plugins to activate. Note that this will completely
|
||||||
remove and replace any previously installed plugins. If you
|
remove and replace any previously installed plugins. If you
|
||||||
@ -175,7 +175,7 @@ in {
|
|||||||
(n: v: "cp ${v} ${cfg.home}/plugins/${n}.hpi")
|
(n: v: "cp ${v} ${cfg.home}/plugins/${n}.hpi")
|
||||||
cfg.plugins;
|
cfg.plugins;
|
||||||
in ''
|
in ''
|
||||||
rm -r ${cfg.home}/plugins
|
rm -r ${cfg.home}/plugins || true
|
||||||
mkdir -p ${cfg.home}/plugins
|
mkdir -p ${cfg.home}/plugins
|
||||||
${lib.strings.concatStringsSep "\n" pluginCmds}
|
${lib.strings.concatStringsSep "\n" pluginCmds}
|
||||||
'';
|
'';
|
||||||
|
Loading…
x
Reference in New Issue
Block a user