Migrate php sessions to redis

[perso/Immae/Config/Nix.git] / modules / private / websites / tools / dav / default.nix

diff --git a/modules/private/websites/tools/dav/default.nix b/modules/private/websites/tools/dav/default.nix
index 289a56979304a520554be31bf06a0fc491e56450..5942fa3e2df340145173e561bd3e8b0144c29e2c 100644 (file)
--- a/modules/private/websites/tools/dav/default.nix
+++ b/modules/private/websites/tools/dav/default.nix
@@ -96,7 +96,6 @@ in {
       #  };
       #};
     };
-    system.activationScripts.davical = davical.activationScript;
     secrets.keys = davical.keys;
     services.websites.env.tools.modules = davical.apache.modules;
 
@@ -116,7 +115,7 @@ in {
         user = config.services.httpd.Tools.user;
         group = config.services.httpd.Tools.group;
         settings = davical.phpFpm.pool;
-        phpPackage = pkgs.php72;
+        phpPackage = pkgs.php72.withExtensions({ enabled, all }: enabled ++ [all.redis]);
       };
     };
   };