feat(redirections): Add services to the retired list

This commit is contained in:
Tom Hubrecht 2023-12-20 13:16:15 +01:00
parent d77fd94d9a
commit 216efbbc42

View file

@ -16,7 +16,12 @@ let
value.to = retired_host; value.to = retired_host;
}) retired)); }) retired));
retired = [ "auth.rz.ens.wtf" "photos.ens.wtf" ]; retired = [
"auth.rz.ens.wtf"
"photos.ens.wtf"
"alevins.ens.fr"
"www.climatenavigator.ens.fr"
];
in { in {
services.nginx.virtualHosts = { services.nginx.virtualHosts = {