2024-04-23 22:02:04 +02:00
|
|
|
_:
|
2023-12-18 23:16:07 +01:00
|
|
|
|
|
|
|
let
|
2024-04-23 22:02:04 +02:00
|
|
|
retiredHost = "retired.dgnum.eu";
|
2023-12-18 23:16:07 +01:00
|
|
|
|
2024-04-23 22:02:04 +02:00
|
|
|
mkSubs =
|
|
|
|
attrs:
|
|
|
|
builtins.concatLists (
|
|
|
|
builtins.attrValues (builtins.mapAttrs (domain: builtins.map (s: "${s}.${domain}")) attrs)
|
2024-02-02 10:51:31 +01:00
|
|
|
);
|
2024-04-23 22:02:04 +02:00
|
|
|
in
|
2023-12-21 15:08:12 +01:00
|
|
|
|
2024-04-23 22:02:04 +02:00
|
|
|
{
|
|
|
|
dgn-redirections = {
|
|
|
|
inherit retiredHost;
|
2023-12-21 15:08:12 +01:00
|
|
|
|
2024-09-30 20:11:56 +02:00
|
|
|
permanent = {
|
2024-04-23 22:02:04 +02:00
|
|
|
"calendrier.eleves.ens.fr" = "calendrier.dgnum.eu";
|
|
|
|
"docs.beta.rz.ens.wtf" = "pads.dgnum.eu";
|
|
|
|
"git.rz.ens.wtf" = "git.dgnum.eu";
|
|
|
|
"notion.rz.ens.wtf" = "docs.dgnum.eu";
|
|
|
|
"nuage.beta.rz.ens.wtf" = "cloud.dgnum.eu";
|
|
|
|
"rdv.dgnum.eu" = "meet.dgnum.eu";
|
|
|
|
"www.bda.ens.fr" = "bda.ens.fr";
|
|
|
|
"bda.wp.dgnum.eu" = "bda.ens.fr";
|
2024-05-18 19:14:24 +02:00
|
|
|
"www.cineclub.ens.fr" = "cineclub.ens.fr";
|
|
|
|
"cineclub.wp.dgnum.eu" = "cineclub.ens.fr";
|
2024-08-31 00:36:19 +02:00
|
|
|
"www.bds.ens.fr" = "bds.ens.fr";
|
|
|
|
"bds.wp.dgnum.eu" = "bds.ens.fr";
|
2024-04-23 22:02:04 +02:00
|
|
|
"www.tuteurs.ens.fr" = "tuteurs.ens.fr";
|
|
|
|
"www.interq.ens.fr" = "interq.ens.fr";
|
|
|
|
"www.lanuit.ens.fr" = "lanuit.ens.fr";
|
2024-02-14 11:15:46 +01:00
|
|
|
};
|
|
|
|
|
2024-04-23 22:02:04 +02:00
|
|
|
retired = mkSubs {
|
|
|
|
"ens.fr" = [
|
|
|
|
"alevins"
|
|
|
|
"www.climatenavigator"
|
|
|
|
];
|
|
|
|
|
|
|
|
"ens.wtf" = [ "photos" ];
|
2023-12-18 23:16:07 +01:00
|
|
|
|
2024-04-23 22:02:04 +02:00
|
|
|
"rz.ens.wtf" = [
|
|
|
|
"s3"
|
|
|
|
"cdn"
|
|
|
|
];
|
|
|
|
|
|
|
|
"beta.rz.ens.wtf" = [
|
|
|
|
"todo"
|
|
|
|
"minecraft"
|
|
|
|
"factorio"
|
|
|
|
"home"
|
|
|
|
"pads"
|
|
|
|
"api.pads"
|
|
|
|
"files.pads"
|
|
|
|
"sandbox.pads"
|
|
|
|
"jurisprudens"
|
|
|
|
"rstudio"
|
|
|
|
];
|
2024-04-20 14:37:31 +02:00
|
|
|
};
|
2023-12-21 15:11:33 +01:00
|
|
|
};
|
2024-04-23 22:02:04 +02:00
|
|
|
|
|
|
|
services.nginx.virtualHosts.${retiredHost}.default = true;
|
2023-12-18 23:16:07 +01:00
|
|
|
}
|