X-Git-Url: https://git.immae.eu/?a=blobdiff_plain;f=modules%2Fprivate%2Fenvironment.nix;h=15e8f5489f56729d4f00d471cb49c04ed8746f32;hb=829ef7f1cb79f0171f9c5254278d93c48c44a7b5;hp=f0e39e9ca3d70aa64acfc030f588587f4fdee3ea;hpb=9a414bd66ff06cade504ac34f13dbeddac48150a;p=perso%2FImmae%2FConfig%2FNix.git

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
       description = "Websites configurations";
       type = submodule {
         options = {
-          aten = mkOption {
-            description = "Aten configurations by environment";
+          isabelle = mkOption {
+            description = "Isabelle configurations by environment";
             type =
               let
                 atenSubmodule = mkOption {
@@ -968,8 +968,8 @@ in
               in
                 submodule {
                   options = {
-                    production = atenSubmodule;
-                    integration = atenSubmodule;
+                    aten_production = atenSubmodule;
+                    aten_integration = atenSubmodule;
                   };
                 };
           };