From cb5cb0bf9572337339c468b7a28fd01885b4a827 Mon Sep 17 00:00:00 2001
From: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
Date: Mon, 22 May 2017 11:44:22 +0100
Subject: [PATCH] services.jenkins.plugins: fix initial case

---
 .../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 a480937417da..11adf74b9ed5 100644
--- a/nixos/modules/services/continuous-integration/jenkins/default.nix
+++ b/nixos/modules/services/continuous-integration/jenkins/default.nix
@@ -103,7 +103,7 @@ in {
 
       plugins = mkOption {
         default = null;
-        #type = types.nullOr (types.attrsOf types.package);
+        type = types.nullOr (types.attrsOf types.package);
         description = ''
           A set of plugins to activate. Note that this will completely
           remove and replace any previously installed plugins. If you
@@ -175,7 +175,7 @@ in {
                       (n: v: "cp ${v} ${cfg.home}/plugins/${n}.hpi")
                       cfg.plugins;
                 in ''
-                  rm -r ${cfg.home}/plugins
+                  rm -r ${cfg.home}/plugins || true
                   mkdir -p ${cfg.home}/plugins
                   ${lib.strings.concatStringsSep "\n" pluginCmds}
                 '';