description = "Jabber configuration";
type = submodule {
options = {
+ postfix_user_filter = mkOption { type = str; description = "Postfix filter to get xmpp users"; };
ldap = mkLdapOptions "Jabber" {};
postgresql = mkPsqlOptions "Jabber";
};
description = "Mail script recipients";
type = attrsOf (submodule {
options = {
+ external = mkEnableOption "Create a script_<name>@mail.immae.eu external address";
src = mkOption {
description = ''
git source to fetch the script from.
description = "Websites configurations";
type = submodule {
options = {
- aten = mkOption {
- description = "Aten configurations by environment";
+ isabelle = mkOption {
+ description = "Isabelle configurations by environment";
type =
let
atenSubmodule = mkOption {
in
submodule {
options = {
- production = atenSubmodule;
- integration = atenSubmodule;
+ aten_production = atenSubmodule;
+ aten_integration = atenSubmodule;
};
};
};