Fetch website from its own git repository

Reviewed-by: Aleix Boné <abonerib@bsc.es>
Add script to trim the repository
2025-10-02 15:45:21 +02:00 · 2025-10-02 15:44:56 +02:00
1 changed files with 5 additions and 2 deletions
--- a/m/hut/nginx.nix
+++ b/m/hut/nginx.nix
@@ -2,10 +2,13 @@
 let
  website = pkgs.stdenv.mkDerivation {
    name = "jungle-web";
-    src = theFlake;
+    src = pkgs.fetchgit {
+      url = "https://jungle.bsc.es/git/rarias/jungle-website.git";
+      rev = "739bf0175a7f05380fe7ad7023ff1d60db1710e1";
+      hash = "sha256-ea5DzhYTzZ9TmqD+x95rdNdLbxPnBluqlYH2NmBYmc4=";
+    };
    buildInputs = [ pkgs.hugo ];
    buildPhase = ''
-      cd web
      rm -rf public/
      hugo
    '';
Author	SHA1	Message	Date
Rodrigo Arias Mallo	5cfd7f0858	Fetch website from its own git repository Reviewed-by: Aleix Boné <abonerib@bsc.es>	2025-10-02 15:45:21 +02:00
Rodrigo Arias Mallo	9c5e22d62d	Add script to trim the repository Reviewed-by: Aleix Boné <abonerib@bsc.es>	2025-10-02 15:44:56 +02:00