diff options
| author | stuebinm | 2026-01-20 18:15:51 +0100 |
|---|---|---|
| committer | stuebinm | 2026-01-20 18:15:51 +0100 |
| commit | e4a1744fa969c0d75567aa9e1541bc8604db5201 (patch) | |
| tree | 74f4080ceb8ea1cf6c854d68cfe9b01a77755aab /home | |
| parent | 124133559544a1062a3f5d6b9391113c7b02b828 (diff) | |
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"; }; }; |