feat(redirections): simplify retired services management

machines/web01/redirections.nix

@@ -10,6 +10,8 @@ let
     }) hosts);
 
   mkSub = domain: builtins.map (s: "${s}.${domain}");
+  mkSubs = attrs:
+    builtins.concatLists (builtins.attrValues (builtins.mapAttrs mkSub attrs));
 
   redirections = {
     "nuage.beta.rz.ens.wtf".to = "cloud.dgnum.eu";
@@ -19,8 +21,10 @@ let
     "git.rz.ens.wtf".to = "git.dgnum.eu";
   } // (mkRetired retired);
 
-  retired = (mkSub "ens.fr" [ "alevins" "www.climatenavigator" ])
-    ++ (mkSub "rz.ens.wtf" [ "s3" "cdn" ]) ++ (mkSub "beta.rz.ens.wtf" [
+  retired = mkSubs {
+    "ens.fr" = [ "alevins" "www.climatenavigator" ];
+    "rz.ens.wtf" = [ "s3" "cdn" ];
+    "beta.rz.ens.wtf" = [
       "todo"
       "minecraft"
       "factorio"
@@ -31,7 +35,8 @@ let
       "sandbox.pads"
       "jurisprudens"
       "rstudio"
-    ]);
+    ];
+  };
 
 in {
   services.nginx.virtualHosts = {