From e8420b03a44b10c2c7d76b138dba2c78cf789a27 Mon Sep 17 00:00:00 2001 From: Jan Wille <jan.wille@stud.hs-hannover.de> Date: Sat, 22 Jun 2024 13:23:36 +0200 Subject: [PATCH] vscode: fix errors not being reported with linenumber --- .vscode/settings.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.vscode/settings.json b/.vscode/settings.json index 64b3899..294d693 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -55,6 +55,7 @@ "args": [ "-pdf", "-interaction=nonstopmode", + "-file-line-error", "-synctex=1", "-auxdir=%OUTDIR%/.aux", "-outdir=%OUTDIR%", @@ -68,9 +69,9 @@ "name": "pdflatex", "command": "pdflatex", "args": [ - "-synctex=1", "-interaction=nonstopmode", "-file-line-error", + "-synctex=1", "-aux-directory=%OUTDIR%/.aux", "-output-directory=%OUTDIR%", "%DOC_EXT%" -- GitLab