Jim Campbell
jcampbell@gnome.org
Daniel Neel
dneelyep@gmail.com
Installieren von Drittanbieter-Plugins.
Jan Arne Petersen
jap@gnome.org 2007
Mario Blättermann
mario.blaettermann@gmail.com 2008-2013
Christian Kirbach
christian.kirbach@gmail.com 2011-2019
Benjamin Steinwender
b@stbe.at 2014-2015

# Zusätzliche gedit-Plugins

Durch Installation von Plugins von Drittanbietern wird zusätzliche Funktionalität ermöglicht, die standardmäßig nicht in gedit oder den zusätzlichen Plugins im Paket gedit-plugins enthalten sind. Eine Online-Liste solcher Plugins finden Sie hier.

Um ein Drittanbieter-Plugin zu installieren, müssen Sie es herunterladen, die Dateien am richtigen Ort platzieren und das Plugin aktivieren.

Üblicherweise können Sie ein Plugin von dessen Webseite herunterladen, wofür eventuell ein Versionsverwaltungsprogramm wie git, bazaar oder subversion nötig sein könnte, um den Softwarebestand des Plugins aus dem Internet kopieren zu können. Schauen Sie für weitere Informationen in der Dokumentation zu dem Plugin nach.

Kopieren Sie die Plugindateien in den Ordner /home/Benutzername/.local/share/gedit/plugins.

Natürlich müssen Sie das Wort Benutzername durch Ihren eigenen Benutzernamen ersetzen.

After you have placed the plugin files into the correct directory, the plugin will appear in the Preferences menu. Press the menu button in the top-right corner of the window and select Preferences Plugins[Name of Plugin] to enable the plugin.

Klicken Sie auf Schließen.

Sobald Sie das Plugin aktiviert haben, sollte es direkt verwendbar sein.

Der Ordner .local ist standardmäßig verborgen. Um ihn und andere verborgene Dateien sichtbar zu machen, wählen Sie Ansicht Verborgene Dateien anzeigen oder drücken Sie Strg H.

Falls der Ordner .local/share/gedit/plugins/ in Ihrem System nicht existiert, müssen Sie ihn erstellen.