feat(static): Move retired.dgnum.eu from specific config to static automated config

This commit is contained in:
Tom Hubrecht 2024-01-25 17:08:47 +01:00
parent 6094da46b0
commit 4359447596
3 changed files with 13 additions and 20 deletions

View file

@ -1,4 +1,4 @@
{ sources, ... }: _:
let let
retired_host = "retired.dgnum.eu"; retired_host = "retired.dgnum.eu";
@ -42,14 +42,7 @@ let
in { in {
services.nginx.virtualHosts = { services.nginx.virtualHosts = {
${retired_host} = { ${retired_host}.default = true;
enableACME = true;
forceSSL = true;
root = "${sources.dgnum-retired.outPath}/www";
default = true;
};
} // (builtins.mapAttrs (host: } // (builtins.mapAttrs (host:
{ to, ssl ? true }: { { to, ssl ? true }: {
globalRedirect = to; globalRedirect = to;

View file

@ -54,6 +54,17 @@
"revision": "e6084bbbdccee3d700037b5f34ead386d649c470", "revision": "e6084bbbdccee3d700037b5f34ead386d649c470",
"url": null, "url": null,
"hash": "1p4xn5g1awrgx9wr9pv2xjz7myrpb77i8fj1qdc9qfdnjjz6didi" "hash": "1p4xn5g1awrgx9wr9pv2xjz7myrpb77i8fj1qdc9qfdnjjz6didi"
},
"retired.dgnum.eu": {
"type": "Git",
"repository": {
"type": "Git",
"url": "https://git.dgnum.eu/DGNum/retired.dgnum.eu.git"
},
"branch": "main",
"revision": "735e56edee3b8a74c6d77463b6535308ac85c7b1",
"url": null,
"hash": "0mbk3r2r4r4z1vzddizbf59mm5r2f0ikis0scyfc6qpb4lr78msy"
} }
}, },
"version": 3 "version": 3

View file

@ -26,17 +26,6 @@
"url": "https://github.com/zhaofengli/attic/archive/fbe252a5c21febbe920c025560cbd63b20e24f3b.tar.gz", "url": "https://github.com/zhaofengli/attic/archive/fbe252a5c21febbe920c025560cbd63b20e24f3b.tar.gz",
"hash": "1dpsqf1m8vklhgy2ganikihdj0fp4vk34r0ajd4jvq8pxvhcmlwz" "hash": "1dpsqf1m8vklhgy2ganikihdj0fp4vk34r0ajd4jvq8pxvhcmlwz"
}, },
"dgnum-retired": {
"type": "Git",
"repository": {
"type": "Git",
"url": "https://git.dgnum.eu/DGNum/dgnum-retired"
},
"branch": "main",
"revision": "735e56edee3b8a74c6d77463b6535308ac85c7b1",
"url": null,
"hash": "0mbk3r2r4r4z1vzddizbf59mm5r2f0ikis0scyfc6qpb4lr78msy"
},
"disko": { "disko": {
"type": "GitRelease", "type": "GitRelease",
"repository": { "repository": {