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!" | [EMAIL PROTECTED]
(SPD-Stadtrat Kurt Schindler; Regensburg) | www.fmi.uni-passau.de/~berberic
msg27373/pgp00000.pgp
Description: PGP signature
