tectonic icon indicating copy to clipboard operation
tectonic copied to clipboard

Show warning when same label is multiply defined

Open Tagussan opened this issue 2 years ago • 3 comments

Hi, Is it possible to show warning when labels with same name is multiply defined?

Tagussan avatar Dec 24 '22 06:12 Tagussan

Hey @Tagussan! Thx for the issue 💜

If I follow you correctly you want to see the latex engine warnings. Have you tried using tectonic -p?

Neved4 avatar Dec 24 '22 10:12 Neved4

Hi @mnrvwl , thank you for kind reply!

I tried tectonic -p and it printed duplicate warnings! Is it possible to show this warning without the -p flag? Because -p shows all the latex logs, it would be convenient if we could see duplicate warning without this flag.

Tagussan avatar Dec 24 '22 15:12 Tagussan

It should be possible to get a nicer user experience for this kind of thing, yes. I believe that we will basically need to modify the relevant LaTeX code to report its warning through Tectonic's subsystem, as well as TeX's basic output routines. The tectonic-texlive-bundles repo has the infrastructure to apply these sorts of modifications.

pkgw avatar Jan 07 '23 15:01 pkgw