Update install party

merge-requests/92/head
Pyjacpp 2026-09-04 18:43:06 +02:00
parent 51ef076fe1
commit c1ed8cfeb8
1 changed files with 5 additions and 4 deletions

View File

@ -176,16 +176,17 @@ let
src = fetchFromCrans { src = fetchFromCrans {
repo = "site-install-party"; repo = "site-install-party";
rev = "2255706d59a415f53bbde812645f92a3f3a84234"; rev = "4dd5fdfe8e588f3ed4dd6966fc9b72234ecdba17";
hash = "sha256-vQt3jFIjlBWlJvKGI8qlyoVH4orzCI6nVzW+aU6a6CA="; hash = "sha256-kiuiC99TMpLbefByUAm5hBskqKuTOa2YumKDB+jO7UY=";
}; };
build-system = with pkgs.python3Packages; [ build-system = with pkgs.python3Packages; [
mkdocs mkdocs
mkdocs-material mkdocs-material
]; ];
# On ne met pas directement dans $out pour éviter la fixupPhase
buildPhase = '' buildPhase = ''
python3 -m mkdocs -- build -d $out python3 -m mkdocs -- build -d $out/site
''; '';
}; };
@ -247,7 +248,7 @@ in
}; };
"install-party" = { "install-party" = {
anubisConfig = "${anubisChallenge}"; anubisConfig = "${anubisChallenge}";
serveLocalFiles = installPartySite; serveLocalFiles = "${installPartySite}/site";
serverAliases = [ serverAliases = [
"i-p" "i-p"
"adopteunmanchot" "adopteunmanchot"