From cf10164ccc1f937ce059acbb2b426a2beb1ffdd0 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sat, 4 Sep 2021 16:30:19 +0200
Subject: add some sanity checks to isabat

(will now print errors if bat/the highlighter theme is missing)
---
 isabat.nix | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'isabat.nix')

diff --git a/isabat.nix b/isabat.nix
index 7fc05f2..de6ce6f 100644
--- a/isabat.nix
+++ b/isabat.nix
@@ -17,6 +17,8 @@ stdenv.mkDerivation {
     cp $src isabat
     substituteInPlace isabat \
       --replace isabelle2unicode "${isabelle-unicode}/bin/isabelle2unicode"
+    substituteInPlace isabat \
+      --replace " bat " " ${pkgs.bat}/bin/bat "
     cp isabat $out
   '';
 }
-- 
cgit v1.2.3