linux|n00b Linux für Ein- und Umsteiger

18Mrz/110

Farbschemen in gedit einbinden

Neben den vorinstallierten Farbprofilen für Code-Highlighting in gedit lassen sich weitere Farbprofile installieren. Diese, wie sie eigentlich genannt werden, Style Schemes sind nichts weiter als XML-Dateien und lassen sich entsprechend einfach in gedit einbinden.

Style Schemes installieren

Nach Herunterladen der entsprechenden XML-Datei für dein favorisiertes Farbschema kopierst du die XML-Datei in folgendes Unterverzeichnis in deinem Home-Verzeichnis:

~/.local/share/gtksourceview-2.0/styles

Einen Neustart von gedit vorausgesetzt, kannst du nun im Menü unter "Bearbeiten" > "Einstellungen" im Reiter "Schrift und Farben" dein neues Farbschema auswählen.

Style Schemes editieren

Da XML-Dateien mit einfachen Texteditoren (wie z.B. gedit ;-) editiert werden können, kannst du Farbschemen, die du auf diese Weise in gedit einbindest, spielend einfach bearbeiten. Damit kannst du die Farben für das Syntax Highlighting nach eigenem Belieben anpassen.

Screenshot von gedit mit Farbschema "Dueddel"

Mein eigenes Farbschema

Ich habe mir von der oben verlinkten Liste mit den downloadbaren Style Schemes den "Vibrant"-Style zu Herzen genommen, weil mir dieser am besten gefiel, allerdings habe ich ihn ein klein wenig editiert. Hier kannst du meine Version des Vibrant-Styles herunterladen.

~/.local/share/gtksourceview-2.0/style

17Mrz/110

Plugins in gedit einbinden

Dem geneigten Gnome-User dürfte der Texteditor gedit nicht gerade fremd sein. Um gedit ein wenig zu pimpen, lassen sich Plugins installieren, gedit bringt dafür bereits von Haus aus einige nützliche Plugins mit. Diese und weitere kannst du auf der Plugin-Seite von gedit einsehen.

Aber wie installiert man diese Plugins, die nicht Teil der Standardinstallation von gedit sind?
Das ist glücklicherweise einfach erklärt:

  1. Plugin(s) herunterladen
  2. Plugin(s) im Home-Verzeichnis ins entsprechende Unterverzeichnis kopieren
  3. Plugin(s) in gedit aktivieren

Fertig.

1. Plugins herunterladen

Von der genannten Plugin-Seite (Link siehe oben) kannst du nach einigem Herumstöbern die von dir gewünschten Plugins beziehen. Welche dir gefallen, solltest du wie jeder andere auch am besten selbst entscheiden. Ich persönlich mag das trailsave-Plugin, welches beim Speichern automatisch sämtliche überflüssige Whitespaces aus der Datei entfernt (also z.B. Leerzeichen und Tabs am Ende einer Zeile), darüber hinaus finde ich auch das Smart Highlighting-Plugin sehr praktisch, bei welchem durch Markieren eines Wortes sämtliche Vorkommen des selben Wortes in der geöffneten Datei hervorgehoben werden.

Wie auch immer - wichtig ist, dass das heruntergeladene Plugin zwei Bestandteile aufweist:

  1. eine Datei <pluginname>.gedit-plugin
  2. sowie eine Datei <pluginname>.py oder stattdessen ein Verzeichnis <pluginname>/

2. Plugins installieren

Die heruntergeladenen Plugin-Dateien sind in dein Homeverzeichnis zu kopieren, genauer gesagt nach:

~/.gnome2/gedit/plugins

Bei mir ist das z.B. das Verzeichnis /home/arvid/.gnome2/gedit/plugins.

3. Plugins aktivieren

Plugins-Einstellungen in gedit

Zu guter Letzt ist gedit neu zu starten und im Menü unter "Bearbeiten" > "Einstellungen" im Reiter "PLugins" das installierte Plugin zu aktiveren.