From ecfc58fecdba8d7956d059cc7108e0695d1e05c4 Mon Sep 17 00:00:00 2001
From: sinavir <maurice.debray@ens.psl.eu>
Date: Thu, 5 May 2022 18:02:42 +0200
Subject: [PATCH] catlist plugin for dokuwiki

---
 hosts/hackens-org/wiki.nix | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/hosts/hackens-org/wiki.nix b/hosts/hackens-org/wiki.nix
index b792476..9f10bd3 100644
--- a/hosts/hackens-org/wiki.nix
+++ b/hosts/hackens-org/wiki.nix
@@ -103,6 +103,21 @@ in
           cp -R * $out/
         '';
       })
+      (pkgs.stdenv.mkDerivation {
+        name = "catlist";
+        # Download the theme from the dokuwiki site
+        src = pkgs.fetchFromGitHub {
+          owner = "xif-fr";
+          repo = "dokuwiki-plugin-catlist";
+          rev = "065f8d2f4817409989b9342b901163452fb9f547";
+          sha256 = "1l7bvnqkai8qkqqb67w8yy7fbs30dviqc36pyqggzfjhi558i9ih";
+        };
+        # Installing simply means copying all files to the output directory
+        installPhase = ''
+          mkdir -p $out
+          cp -R * $out/
+        '';
+      })
     ];
   };
   # On veut php-xml