From e570c4f5119fc1a6e0042ed51e10592a6a11f0c8 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Tue, 15 Jan 2019 16:13:59 +0100
Subject: [PATCH] Add highlight for gitweb

---
 virtual/modules/websites/tools/git/gitweb/gitweb.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/virtual/modules/websites/tools/git/gitweb/gitweb.nix b/virtual/modules/websites/tools/git/gitweb/gitweb.nix
index 7b4dcac..22c70f2 100644
--- a/virtual/modules/websites/tools/git/gitweb/gitweb.nix
+++ b/virtual/modules/websites/tools/git/gitweb/gitweb.nix
@@ -1,4 +1,4 @@
-{ gitweb, writeText, gitolite, git, gitoliteDir }:
+{ gitweb, writeText, gitolite, git, gitoliteDir, highlight }:
 rec {
   varDir = gitoliteDir;
   webRoot = gitweb;
@@ -27,6 +27,7 @@ rec {
     $projects_list_group_categories = "true";
     $projects_list_description_width = 60;
     $project_list_default_category = "__Others__";
+    $highlight_bin = "${highlight}/bin/highlight";
     '';
   apache = {
     user = "wwwrun";
-- 
2.41.0