};
});
};
+ sympa = mkOption {
+ description = "Sympa configuration";
+ type = submodule {
+ options = {
+ listmasters = mkOption {
+ type = listOf str;
+ description = "Listmasters";
+ };
+ postgresql = mkPsqlOptions "Sympa";
+ data_sources = mkOption {
+ type = attrsOf str;
+ default = {};
+ description = "Data sources to make available to sympa";
+ };
+ scenari = mkOption {
+ type = attrsOf str;
+ default = {};
+ description = "Scenari to make available to sympa";
+ };
+ };
+ };
+ };
};
};
};
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 =