diff options
Diffstat (limited to 'modules/private/environment.nix')
-rw-r--r-- | modules/private/environment.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/modules/private/environment.nix b/modules/private/environment.nix index f0e39e9..15e8f54 100644 --- a/modules/private/environment.nix +++ b/modules/private/environment.nix | |||
@@ -951,8 +951,8 @@ in | |||
951 | description = "Websites configurations"; | 951 | description = "Websites configurations"; |
952 | type = submodule { | 952 | type = submodule { |
953 | options = { | 953 | options = { |
954 | aten = mkOption { | 954 | isabelle = mkOption { |
955 | description = "Aten configurations by environment"; | 955 | description = "Isabelle configurations by environment"; |
956 | type = | 956 | type = |
957 | let | 957 | let |
958 | atenSubmodule = mkOption { | 958 | atenSubmodule = mkOption { |
@@ -968,8 +968,8 @@ in | |||
968 | in | 968 | in |
969 | submodule { | 969 | submodule { |
970 | options = { | 970 | options = { |
971 | production = atenSubmodule; | 971 | aten_production = atenSubmodule; |
972 | integration = atenSubmodule; | 972 | aten_integration = atenSubmodule; |
973 | }; | 973 | }; |
974 | }; | 974 | }; |
975 | }; | 975 | }; |