From 372f26662ced5b3d97a0fdae6e791277ea18af91 Mon Sep 17 00:00:00 2001 From: Donovan Glover Date: Sun, 11 Aug 2024 16:11:53 -0400 Subject: [PATCH] meta: Drop tectonic It's better to be pragmatic here and not choose tectonic when texlive works extremely well and without any of the problems one would encounter with tectonic. The future of tectonic is unfortunately a mystery as well, due to the status of the GitHub repository and its dependence on the unmaintained XeTeX. See: https://tex.stackexchange.com/questions/593031/what-are-the-downsides-of-using-xetex/593217#593217 --- modules/shell.nix | 1 - 1 file changed, 1 deletion(-) diff --git a/modules/shell.nix b/modules/shell.nix index 15eba4a9..d5a85e8b 100644 --- a/modules/shell.nix +++ b/modules/shell.nix @@ -109,7 +109,6 @@ in clippy nodejs deno - tectonic ; }) ];