Re: Comments on the new gnome-terminal.
- To: debian-user@lists.debian.org
- Subject: Re: Comments on the new gnome-terminal.
- From: Eric E Moore <e.e.moore@sheffield.ac.uk>
- Date: Mon, 01 Jul 2002 18:29:49 +0100
- Message-id: <[🔎] 87wusfz78y.fsf@dyn006239.shef.ac.uk>
- In-reply-to: <87lm8zp6a9.fsf@wesley.springies.com> (Alan Shutko's message of "Fri, 28 Jun 2002 15:11:42 -0400")
- References: <200206281657.g5SGvIM18550@crow.ee.washington.edu> <1025289348.11879.19.camel@Thief> <87lm8zp6a9.fsf@wesley.springies.com>
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 :)
--
Eric E. Moore
Attachment:
pgpl5L2MQkldB.pgp
Description: PGP signature
Reply to: