On Mon, Jul 01, 2002 at 06:29:49PM +0100, Eric E Moore wrote: > Alan Shutko <ats@acm.org> writes: > > > I'm sure there's some way to get gconftool to do it, but I couldn't > > figure out how. > > > gconftool-2 -t string -s /apps/gnome-terminal/profiles/Default/x_font \ > -- -misc-fixed-medium-r-semicondensed-*-*-120-*-*-c-*-iso8859-1 > > (substitute the font you want to use, that's the one I use :) When I first installed the new gnome-terminal I got all the problems reported previously. stopping gconfd-1 (with gconftool-1 shutdown IIRC) and relaunching gnome-terminal (which should start gconfd-2), solved these problems. Also installing the whole gnome2, solve a lot of problems, but you have to accept the few changes that were done between gnome1 and gnome2. gnome1 is the past, gnome2 is the future even if right now it's buggy (but usable). Christophe > -- > Eric E. Moore -- Christophe Barbé <christophe.barbe@ufies.org> GnuPG FingerPrint: E0F6 FADF 2A5C F072 6AF8 F67A 8F45 2F1E D72C B41E L'experience, c'est une connerie par jour mais jamais la même.
Attachment:
pgpguTN7jd3qM.pgp
Description: PGP signature