Re: Comments on the new gnome-terminal.

To: debian-user@lists.debian.org
Subject: Re: Comments on the new gnome-terminal.
From: Alan Shutko <ats@acm.org>
Date: Fri, 28 Jun 2002 15:11:42 -0400
Message-id: <[🔎] 87lm8zp6a9.fsf@wesley.springies.com>
In-reply-to: <[🔎] 1025289348.11879.19.camel@Thief>
References: <[🔎] 200206281657.g5SGvIM18550@crow.ee.washington.edu> <[🔎] 1025289348.11879.19.camel@Thief>

Alex Malinovich <demonbane@the-love-shack.net> writes:

> Is there a config file for this terminal anywhere that I can edit by
> hand so I can at least get a working font set up?

~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xml

I'm sure there's some way to get gconftool to do it, but I couldn't
figure out how.

-- 
Alan Shutko <ats@acm.org> - In a variety of flavors!
Good day for a change of scene.  Repaper the bedroom wall.


-- 
To UNSUBSCRIBE, email to debian-user-request@lists.debian.org 
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org

Reply to:

Follow-Ups:
- Re: Comments on the new gnome-terminal.
  - From: Alex Malinovich <demonbane@the-love-shack.net>

References:
- Comments on the new gnome-terminal.
  - From: Steve Juranich <sjuranic@ssli-mail.ee.washington.edu>
- Re: Comments on the new gnome-terminal.
  - From: Alex Malinovich <demonbane@the-love-shack.net>

Prev by Date: Re: Comments on the new gnome-terminal.
Next by Date: How do I change de IP addresses in woody
Previous by thread: Re: Comments on the new gnome-terminal.
Next by thread: Re: Comments on the new gnome-terminal.
Index(es):
- Date
- Thread