chore(cas-eleves): Remove server alias as we have a permanent redirection in place #194

Merged
thubrecht merged 1 commit from cas-redirection into main 2024-12-17 20:13:11 +01:00
Showing only changes of commit 54f2057dfc - Show all commits

View file

@ -135,12 +135,9 @@ in
dgn-web.simpleProxies.cas-eleves = { dgn-web.simpleProxies.cas-eleves = {
inherit host port; inherit host port;
vhostConfig = { vhostConfig.locations = {
serverAliases = [ "cas-eleves.dgnum.eu" ]; "/static/".root = staticDrv;
locations = { "= /robots.txt".root = "${staticDrv}/static";
"/static/".root = staticDrv;
"= /robots.txt".root = "${staticDrv}/static";
};
}; };
}; };