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

Installing third-party plugins gives you extra functionality that isn't available in default gedit plugins, or even the extra plugins that are part of the gedit-plugins package. An online list of third-party plugins is kept here.

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 Einstellungen Erweiterungen[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 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.