Normalerweise kompiliere ich meine .tex
Dateien vom Terminal aus ohne das -interaction=nonstopmode
, sodass es bei jedem Fehler anhält. Trotzdem muss ich mir die Datei natürlich von Zeit zu Zeit ansehen .log
, aber meistens nur, um fehlerhafte Boxen, undefinierte Referenzen und andere Warnungen zu finden.
Meine Frage lautet: Kennt jemand ein Programm, ein Skript oder eine Methode, um die Protokolldatei in einem Terminal in einer neu formatierten und besser lesbaren Form anzuzeigen, wie es einige TeXeditoren tun?
Nur um ein paar Beispiele dafür hinzuzufügen, was nett sein könnte. Es wäre nett, wenn es zählen würde, wie viele Fehler, Warnungen und fehlerhafte Boxen es gibt, vielleicht sogar die Anzahl der unbekannten Referenzen. Es wäre wahrscheinlich auch nett, wenn es eine kleine Anzahl von Farben verwenden würde (wenn man sich in einem Farbterminal befindet), um die Dinge leichter unterscheiden zu können. Diese Dinge werden von TeXmaker erledigt und es erstellt sogar eine Liste, die Ihnen sagt, in welcher Datei das Problem liegt, ob es eine Warnung, eine fehlerhafte Box, ein Fehler usw. ist, und gibt Ihnen die Zeilennummer und die von TeX ausgegebene Nachricht an. Es wäre wirklich nett, wenn so etwas im Terminal möglich wäre.