Extensions in GitLab Web IDE, insbesondere markdownlint

Wir verwenden in versch. Teams für die Erstellung von Dokumentationen Docusaurus.
Einige Kolleg:innen mit Schwerpunkt redaktioneller Teil arbeiten ohne lokale Umgebung. D.h. die verwenden zum Editieren von Markdown-Dateien die GitLab Web IDE, was ja letztendlich ein VSC im Web ist.

Allerdings fehlen da ein paar wichtige Extensions!
Schmerzlich fällt gerade das Fehlen von markdownlint auf: Es ist nämlich sehr nice, wenn man gleich beim Tippen auf potentielle Fehlerquellen hingewiesen wird. :blush:

  • Für VSC im Web ist die gen. Extension verfügbar, warum dann nicht in der GitLab Web IDE?
  • Kann das wer installieren, freischalten o. Ä.?
2 „Gefällt mir“