Re: can I change the font of default "xterm"?

2000-04-14 Thread Chris Gray
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

Re: can I change the font of default "xterm"?

2000-04-14 Thread Marshal Kar-Cheung Wong
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

Re: can I change the font of default "xterm"?

2000-04-13 Thread john smith
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

Re: can I change the font of default "xterm"?

2000-04-13 Thread Kent West
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 >

Re: can I change the font of default "xterm"?

2000-04-13 Thread Marshal Kar-Cheung Wong
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

Re: can I change the font of default "xterm"?

2000-04-13 Thread Kent West
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

Re: can I change the font of default "xterm"?

2000-04-11 Thread Kent West
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

Re: can I change the font of default "xterm"?

2000-04-11 Thread Oswald Buddenhagen
> 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

can I change the font of default "xterm"?

2000-04-11 Thread john smith
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

Re: default xterm

1998-01-26 Thread Carey Evans
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. --

Re: default xterm

1998-01-26 Thread Jens Ritter
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. > >

Re: default xterm

1998-01-25 Thread Remco Blaakmeer
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

default xterm

1998-01-25 Thread Serge Delorme
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. -- --