add some sanity checks to isabat

(will now print errors if bat/the highlighter theme is missing)

1 files changed, 2 insertions, 0 deletions

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