From e4a1744fa969c0d75567aa9e1541bc8604db5201 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Tue, 20 Jan 2026 18:15:51 +0100
Subject: isabelle2unicode: update, simplify git setup

---
 home/home-minimal.nix | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'home')

diff --git a/home/home-minimal.nix b/home/home-minimal.nix
index ce984cf..98ba513 100644
--- a/home/home-minimal.nix
+++ b/home/home-minimal.nix
@@ -149,9 +149,7 @@
 
         "isabelle" = {
           binary = true;
-          textconv = (pkgs.writeShellScript "isabelle2unicode-with-arg" ''
-            cat $1 | isabelle2unicode
-          '').outPath;
+          textconv = "isabelle2unicode";
         };
       };
 
-- 
cgit v1.2.3