From: Ismaël Bouya <ismael.bouya@normalesup.org>
Date: Tue, 15 Jan 2019 15:13:59 +0000 (+0100)
Subject: Add highlight for gitweb
X-Git-Tag: nur_publish~325
X-Git-Url: https://git.immae.eu/?p=perso%2FImmae%2FConfig%2FNix.git;a=commitdiff_plain;h=e570c4f5119fc1a6e0042ed51e10592a6a11f0c8

Add highlight for gitweb
---

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";