Gedit-Plugins installieren
Verfasst von junirio am 21. Januar 2009 - 19:13
Es ist ja so einfach, die Installation von Plugins für Gedit, den Texteditor von Gnome. Nur wo gehören die Drittpartei-Erweiterungen denn nur hin? Ins Plugins-Verzeichnis der Gedit-Installation, klar. Nur findet sich ein solches Verzeichnis in meiner Debian-Installation unter /usr/share/gedit-2/plugins/ und unter /usr/lib/gedit-2/plugins/. Im ersteren finden sich XML-Dateien, im zweiten verschiedene Unterverzeichnisse sowie Dateien mit der Endung gedit.plugin. Und genau dorthin gehören die Plugins. Aktiviert werden sie dann über "Bearbeiten - Einstellungen - Plugins" in Gedit. Praktisch ist das schon.
Geholfen hat mir diese Seite.