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/pgp0.pgp
Description: PGP signature