Linter – Serlo „Mathe für Nicht-Freaks“

Aus Wikibooks
Zur Navigation springen Zur Suche springen

Diese Seite erklärt unseren hauseigenen Linter.

Was ist ein Linter?[Bearbeiten]

Der Linter ist ein Werkzeug für Autorinnen und Autoren, welches ihnen im Editor Hinweise für richtige Formatierungen gibt. Es zeigt Hinweise und Warnungen an, wenn Texte anders formatiert sind, als wie wir es unterstützen. Auch gibt es Hilfestellungen für richtige Formatierungen:

Bildschirmfoto des Linters

Deaktivierung des Linters[Bearbeiten]

Der Linter ist standardmäßig aktiviert. Diesen kannst du über die Einstellungen auch wieder deaktivieren:

Hinweise[Bearbeiten]

Achtet darauf, dass im Editor die Option „Syntaxhighlighting“ deaktiviert ist. Ansonsten wird der Editor doppelt angezeigt.