infrastructure/hosts/cesium/services/nginx/n7/TP-traitement-audio-visuel.nix
2024-01-12 17:02:47 +01:00

13 lines
338 B
Nix

{pkgs, ...}: let
pages = pkgs.fetchFromGitea {
domain = "git.fainsin.bzh";
owner = "ENSEEIHT";
repo = "TP-traitement-audio-visuel";
rev = "0c688cbb74c8b66558c0b9471bad4d0a273eb87a"; # pages
sha256 = "sha256-qCR2aK54rdXm/+++S7AIVcGZfTsOx7k/Nj8OsDJbyMg=";
};
in {
alias = "${pages}/";
index = "notebook.html";
}