From 1216a0a7800c7393907b636f388b0b6d6cd220d3 Mon Sep 17 00:00:00 2001
From: Tom Hubrecht <tom.hubrecht@dgnum.eu>
Date: Sun, 28 Jul 2024 14:10:42 +0200
Subject: [PATCH] feat(cas-eleves): Redirect from cas-eleves.dgnum.eu to
 cas.eleves

---
 machines/web02/cas-eleves/default.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/machines/web02/cas-eleves/default.nix b/machines/web02/cas-eleves/default.nix
index bdef507..00afde5 100644
--- a/machines/web02/cas-eleves/default.nix
+++ b/machines/web02/cas-eleves/default.nix
@@ -126,6 +126,8 @@ in
     };
   };
 
+  dgn-redirections.redirections."cas-eleves.dgnum.eu" = "cas.eleves.ens.fr";
+
   services = {
     postgresql = {
       ensureDatabases = [ "cas_server" ];