Hallo, Am Friday, den 29. November 2002 18:43:38 schrieb Jan Parthey: > wie kann ich die verschiedenen Profile des gnome2-terminal > mit einem Texteditor bearbeiten? > > Problem: Schriftarten lassen sich nicht richtig einstellen? Am besten garnicht. DIe Profile sind in gconf gespeichert. Am besten nimmst Du gconf-editor: apps/gnome-terminal/profiles/... MfG bmg -- "Des is völlig wurscht, was heut beschlos- | M G Berberich sen wird: I bin sowieso dagegn!" | berberic@fmi.uni-passau.de (SPD-Stadtrat Kurt Schindler; Regensburg) | www.fmi.uni-passau.de/~berberic
Attachment:
pgpOpbjot_N8k.pgp
Description: PGP signature