DGNum/infrastructure
13
6
Fork 3
Code Issues 20 Pull requests 8 Projects 1 Releases Packages Wiki Activity Actions

feat(dns): Add BDS redirection

Browse source
This commit is contained in:
Tom Hubrecht 2024-08-30 10:07:44 +02:00
parent b4b2cf3836
commit 359d839ad4
Signed by: thubrecht
SSH key fingerprint: SHA256:r+nK/SIcWlJ0zFZJGHtlAoRwq1Rm+WcKAm5ADYMoQPc
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
meta/dns.nix
View file

@ -40,6 +40,10 @@ let
# Miscelleanous redirections # Miscelleanous redirections
"traque" = "traque.katvayor.net."; "traque" = "traque.katvayor.net.";
# Temporary redirection for the BDS
# FIXME: finish the django apps module
"gestiobds.dj" = "cof.ens.fr";
}; };
hosted = fuseAttrs ( hosted = fuseAttrs (