rarias/jungle
2
0
Fork 3
Code Issues 58 Pull Requests 7 Actions Packages Projects Releases Wiki Activity

Add script to trim the repository #188

Manually merged
rarias merged 2 commits from trim-repository into master 2025-10-02 15:46:03 +02:00
Conversation 6 Commits 2 Files Changed 3 +10 -4
2 changed files with 10 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 5cfd7f0858 - Show all commits

7
m/hut/nginx.nix
View File

@@ -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
'';

7
m/tent/nginx.nix
View File

@@ -2,10 +2,13 @@
let
website = pkgs.stdenv.mkDerivation {
name = "jungle-web";
src = theFlake;
src = pkgs.fetchgit {
rarias marked this conversation as resolved Outdated
abonerib commented 2025-10-02 13:45:36 +02:00
Outdated
Review
Copy Link

We should also fix m/hut/nginx.nix

We should also fix `m/hut/nginx.nix`
rarias commented 2025-10-02 13:49:56 +02:00
Outdated
Review
Copy Link

Yes, I think I would just duplicate the changes there for now.

Yes, I think I would just duplicate the changes there for now.
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
'';