gnome-terminal

[Marcel Keienborg]

Morgen.

Am Sat, 23 Sep 2006 06:28:07 +0200 schrieb Tomasz Petersohn
<tomaszpetersohn at wp.pl>:
> wie kann ich den Eintrag dort nun löschen?

Versuch es doch mal mit dem gconf-editor, also irgendein anderes
terminal starten und dann 'gconf-editor' eintippen (vielleicht steht es
auch irgendwo in den Menüs, keine Ahnung).
Dort suchst Du dann apps -> gnome-terminal -> profiles. Dann sind
rechts alle Einstellungen, die er zu dem Thema kennt, aufgelistet, und
es sollte möglich sein, eben jene Zeile zu löschen...

Grüße,
Marcel