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;
};
};
};