Kategorien

Funktionalität von gedit durch Plugins erweitern

Meiner Meinung nach ist gedit, der Gnome-Standard Editor, von Haus aus in Bezug auf die Funktionalität etwas schwach auf der Brust. Zum Glück kann man mit einigen Plugins die Funktionalität doch deutlich erhöhen. Am Besten installiert man zunächst die offiziellen Plugins mit

sudo apt-get install gedit-plugins

Weitere Third Party Plugins auf der Gnome-Seite installiert man, […]