Jim Campbell
jwcampbell@gmail.com
Daniel Neel
dneelyep@gmail.com

# Zusätzliche Plugins für gedit installieren

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

# Holen

Der erste Schritt zur Installation eines Plugins in gedit ist die Besorgung. Meist lässt sich ein Plugin von einer Webseite herunterladen. Lesen Sie die entsprechende Dokumentation, um Informationen zur Besorgung des Plugins zu erhalten. Die Anweisungen zur Besorgung können variieren.

# Installieren

Sobald Sie über das Plugin verfügen, werden Sie es installieren wollen.

## Installieren eines Plugins

Ermitteln Sie den Ort des zu installierenden Plugins.

Installieren Sie die Plugin-Dateien:

Kopieren Sie das Plugin in /home/Benutzername/.local/share/gedit/plugins

Sobald Sie die Plugin-Dateien im richtigen Ordner installiert haben, erscheint das Plugin im Einstellungsmenü (BearbeitenEinstellungenPlugins). Dort muss das Plugin noch aktiviert werden, um verwendet werden zu können.

Um den Ordner .local sichtbar zu machen, müssen Sie die Anzeige von verborgenen Dateien aktivieren. Klicken Sie hierzu auf 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.