Linux

GEdit Plugins installieren

In Ubuntu 12.04 gibt es einen Editor, genannt gedit. Er ist der Standard-Editor für Gnome. Wie ich vor kurzem jedoch erfahren habe, gibt es für ihn einige Plugins, mit denen man die Programmier-Produktivität verbessern kann. Jedoch sollte man diese Plugins vorher installiert haben. Mit diesem Befehl geschieht dies recht einfach:

sudo apt-get install gedit-plugins

Um zu sehen, was es für Plugins gibt, geht man folgenden Weg: gedit öffnen (sofern noch nicht geöffnet) -> Bearbeiten -> Einstellungen -> Reiter Plugins

Viel Spaß beim Stöbern.

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert.