Installieren von Drittanbieter-Erweiterungen.
Jan Arne Petersen
jap@gnome.org 2007
Mario Blättermann
mario.blaettermann@gmail.com 2008-2013, 2020
Christian Kirbach
christian.kirbach@gmail.com 2011-2020
Benjamin Steinwender
b@stbe.at 2014-2015
Jürgen Benvenuti
gastornis@posteo.org 2022

# Zusätzliche gedit-Erweiterungen

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

Um eine Drittanbieter-Erweiterung zu installieren, müssen Sie sie herunterladen, die Dateien am richtigen Ort platzieren und die Erweiterung 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.

Sobald Sie die Erweiterungs-Dateien im richtigen Ordner installiert haben, erscheint die Erweiterung im Einstellungsmenü. Klicken Sie auf den Menüknopf in der rechten oberen Ecke des Fensters und wählen Sie EinstellungenErweiterungen[Name der Erweiterung] , um die Erweiterung zu aktivieren.

Klicken Sie auf Schließen.

Sobald Sie die Erweiterung aktiviert haben, sollte sie direkt verwendbar sein.

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

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