diff options
Diffstat (limited to 'home')
| -rw-r--r-- | home/home-minimal.nix | 4 |
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"; }; }; |