summaryrefslogtreecommitdiff
path: root/modules/devenv/languages
diff options
context:
space:
mode:
authoraristote <quentin.aristote@irif.fr>2024-01-29 16:47:30 +0100
committeraristote <quentin.aristote@irif.fr>2024-01-29 17:02:31 +0100
commit0df32624d0b82f8fec92ffaee9b2b517806ab234 (patch)
tree54202d10768225371b320cf81fee6b822f021044 /modules/devenv/languages
parentb281eb28a9d9c930234eadc25193a6f3f66cb83a (diff)
devenv: latex: set_tex_cmds only if necessary
Diffstat (limited to 'modules/devenv/languages')
-rw-r--r--modules/devenv/languages/latex.nix17
1 files changed, 10 insertions, 7 deletions
diff --git a/modules/devenv/languages/latex.nix b/modules/devenv/languages/latex.nix
index 8880be9..e285b3b 100644
--- a/modules/devenv/languages/latex.nix
+++ b/modules/devenv/languages/latex.nix
@@ -30,14 +30,17 @@
if output.ps.enable
then "1"
else "0";
- in ''
- set_tex_cmds('${lib.concatStringsSep " " extraFlags}');
- $pdf_mode=${pdfMode};
- $dvi_mode=${dviMode};
- $ps_mode=${psMode};
+ in
+ lib.optionalString (extraFlags != []) ''
+ set_tex_cmds('${lib.concatStringsSep " " extraFlags}');
+ ''
+ + ''
+ $pdf_mode=${pdfMode};
+ $dvi_mode=${dviMode};
+ $ps_mode=${psMode};
- ${extraConfig}
- '';
+ ${extraConfig}
+ '';
packages = cfg.packages cfg.base;
packagesRequireShellEscape = packages ? minted;
texlive = cfg.base.combine packages;