From 91b3d06b6a9147e0e03b49d25cdcecb8a617a4f7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Tue, 5 May 2020 12:55:05 +0200
Subject: Add file manager

---
 modules/private/environment.nix | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'modules/private/environment.nix')

diff --git a/modules/private/environment.nix b/modules/private/environment.nix
index 22217b1..7555fe6 100644
--- a/modules/private/environment.nix
+++ b/modules/private/environment.nix
@@ -1084,6 +1084,23 @@ in
       description = "Websites configurations";
       type = submodule {
         options = {
+          immae = mkOption {
+            description = "Immae configuration by environment";
+            type = submodule {
+              options = {
+                temp = mkOption {
+                  description = "Temp configuration";
+                  type = submodule {
+                    options = {
+                      ldap = mkLdapOptions "Immae temp" {
+                        filter = mkOption { type = str; description = "Filter for user access"; };
+                      };
+                    };
+                  };
+                };
+              };
+            };
+          };
           isabelle = mkOption {
             description = "Isabelle configurations by environment";
             type =
-- 
cgit v1.2.3