On Thu, Apr 13, 2000 at 11:27:39PM +, john smith wrote:
> yes. actually what I meant to ask was the fonts for the terminals when you
> press alt+f1,f2 etc..
First of all, you can't change it to a true type font as far as I know.
*But* you can make it much nicer. The way I did it involves som
gt;> <[EMAIL PROTECTED]> CC: [EMAIL PROTECTED], john smith
>> <[EMAIL PROTECTED]>, Debian Users
>> Subject: Re: can I change the
>> font of default "xterm"? Date: Thu, 13 Apr 2000 17:49:26 -0500
>> MIME-Version: 1.0 Received: from [150.2
an Users
Subject: Re: can I change the font of default "xterm"?
Date: Thu, 13 Apr 2000 17:49:26 -0500
MIME-Version: 1.0
Received: from [150.252.135.30] by hotmail.com (3.2) with ESMTP id
MHotMailBABF99EB000FD82197DD96FC871E89710; Thu Apr 13 15:49:19 2000
Received: from ma
Marshal Kar-Cheung Wong wrote:
> > "Kent" == Kent West <[EMAIL PROTECTED]> writes:
>
>
John wrote:
> >> > > I'd like to know if I can change the font of xterm. xterm
> >> is the default >pty > > terminal on the initial boot right? or
> >> am I mistaken? I would like to >use my >
ings.
>>
>> >From: Kent West <[EMAIL PROTECTED]> >Reply-To:
>> [EMAIL PROTECTED] >To: john smith
>> <[EMAIL PROTECTED]> >CC: debian-user@lists.debian.org
>> >Subject: Re: can I change the font of default "xterm"? &g
ohn smith <[EMAIL PROTECTED]>
> >CC: debian-user@lists.debian.org
> >Subject: Re: can I change the font of default "xterm"?
> >Date: Tue, 11 Apr 2000 09:52:00 -0500
> >MIME-Version: 1.0
> >Received: from [150.252.135.30] by hotmail.com (3.2) with ESMTP id
> &g
john smith wrote:
> I'd like to know if I can change the font of xterm. xterm is the default pty
> terminal on the initial boot right? or am I mistaken? I would like to use my
> ttf font for the default terminal (whichever it boots into before the xdm
> login prompt) since I have configured xfstt
> I'd like to know if I can change the font of xterm.
you have to edit your ~/.Xdefaults. add something like
XTerm*Font: blabla
you can pass it a command line option, too.
> xterm is the default pty
> terminal on the initial boot right? or am I mistaken?
--
Hi! I'm a .signature virus! Cop
I'd like to know if I can change the font of xterm. xterm is the default pty
terminal on the initial boot right? or am I mistaken? I would like to use my
ttf font for the default terminal (whichever it boots into before the xdm
login prompt) since I have configured xfstt font server properly.is
Jens Ritter <[EMAIL PROTECTED]> writes:
> You may want to set it in
>
> /usr/X11R6/lib/X11/app-defaults/XTerm
> /usr/X11R6/lib/X11/app-defaults/XTerm-color
These will get overwritten when you upgrade xbase. On a Debian
system, global customisation should go in /etc/X11/Xresources.
--
Remco Blaakmeer <[EMAIL PROTECTED]> writes:
>
> On Sat, 24 Jan 1998, Serge Delorme wrote:
>
> > I'm using debian 1.3.1 and I want to change the default font size
> > of xterm but I can't find which file to edit.
> > I have look in /etc/Xresources, Xsession and the light did not came on.
> >
On Sat, 24 Jan 1998, Serge Delorme wrote:
> I'm using debian 1.3.1 and I want to change the default font size
> of xterm but I can't find which file to edit.
> I have look in /etc/Xresources, Xsession and the light did not came on.
> What is it?
The resource is XTerm*VT100*font and you might
I'm using debian 1.3.1 and I want to change the default font size
of xterm but I can't find which file to edit.
I have look in /etc/Xresources, Xsession and the light did not came on.
What is it?
I'm using afterstep if that is of interest.
--
--
13 matches
Mail list logo