Journal

Im Ausgangszustand hat der Standard-Texteditor von Gnome nicht alle Features, die man von einem Quelltexteditor erwartet. Der Tipp: einfach das Paket “gedit-plugins” installieren. Dann hat man unter anderem in den Einstellungen die Möglichkeit, Spaces statt Tabs zu verwenden, eine Markierung oder Zeilennummern anzuzeigen, Klammern zu markieren, automatischen Einzug und sehr vieles mehr. Damit ersetzt er nun ganz gut mein Notepad++, was ich unter Windows gern verwendet habe.