aboutsummaryrefslogtreecommitdiff
path: root/modules/private/environment.nix
diff options
context:
space:
mode:
Diffstat (limited to 'modules/private/environment.nix')
-rw-r--r--modules/private/environment.nix17
1 files changed, 17 insertions, 0 deletions
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
1084 description = "Websites configurations"; 1084 description = "Websites configurations";
1085 type = submodule { 1085 type = submodule {
1086 options = { 1086 options = {
1087 immae = mkOption {
1088 description = "Immae configuration by environment";
1089 type = submodule {
1090 options = {
1091 temp = mkOption {
1092 description = "Temp configuration";
1093 type = submodule {
1094 options = {
1095 ldap = mkLdapOptions "Immae temp" {
1096 filter = mkOption { type = str; description = "Filter for user access"; };
1097 };
1098 };
1099 };
1100 };
1101 };
1102 };
1103 };
1087 isabelle = mkOption { 1104 isabelle = mkOption {
1088 description = "Isabelle configurations by environment"; 1105 description = "Isabelle configurations by environment";
1089 type = 1106 type =