DGNum/infrastructure
12
6
Fork 2
Code Issues 18 Pull requests 19 Projects 1 Releases Packages Wiki Activity Actions

fix(redirections): Declare retired.dgnum.eu to be the default host
All checks were successful
build configuration / build_storage01 (push) Successful in 45s
Details
build configuration / build_web01 (push) Successful in 50s
Details
build configuration / build_compute01 (push) Successful in 1m22s
Details
npins update / npins_update (push) Successful in 2m43s
Details

Browse source
This commit is contained in:
Tom Hubrecht 2023-12-20 15:02:08 +01:00
parent ad90c0e9db
commit 80ca4037de
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
machines/web01/redirections.nix
View file

@ -30,6 +30,8 @@ in {
forceSSL = true; forceSSL = true;
root = "${sources.dgnum-retired.outPath}/www"; root = "${sources.dgnum-retired.outPath}/www";
default = true;
}; };
} // (builtins.mapAttrs (host: } // (builtins.mapAttrs (host:
{ to, ssl ? false }: { { to, ssl ? false }: {