isabelle2unicode: update, simplify git setupHEADmain

1 files changed, 1 insertions, 3 deletions

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