Re: Como se cambia el tipo de letra por defecto en xterm
Antonio Calvo Rodriguez [EMAIL PROTECTED] writes: Creo que debes usar Xterm*font (con minúsculas). Y no estoy seguro de que te utilize el alias. A mí me funciona con el nombre completo ( -misc-fixed-medium--r-normal--20-200-75-75-c-100-iso8859-1 ) Nada, asi tampoco va. HE probado todas las permutaciones que se me han ocurrido y no pita ninguna Es 'XTerm*font: blablabla'. Aunque 'XTerm*VT100.font:' es más fino, y '*VT100.font:' te cambia de golpe todo lo que sea VT100 (xterms y rxvts seguro, Eterms y demás supongo q también). -- Jesús Rodrigo e-mail: [EMAIL PROTECTED]
Re: Como se cambia el tipo de letra por defecto en xterm
Enrique Zanardi el día Fri, Aug 28, 1998 at 02:55:00PM +0100 expuso lo siguiente: On Fri, Aug 21, 1998 at 05:10:17PM +0200, Antonio Calvo Rodriguez wrote: Hola , e estado intentando cambiar el tipo de letra por defecto en las xterm pero no parece que lo coja. Estoy con Debian 2 y lo que he hecho es añadir en mi home el siguiente fichero -- .Xresources ! Xresources ! ! user Xresources file -- used by both xdm and xinit (startx) XTerm*Font: 10x20 Creo que debes usar Xterm*font (con minúsculas). Y no estoy seguro de que te utilize el alias. A mí me funciona con el nombre completo ( -misc-fixed-medium--r-normal--20-200-75-75-c-100-iso8859-1 ) Yo lo que hago es esto: xterm -fn 8x16 -fg black -bg white Y lo mismo donde tenga que poner una xterm; los menús, la barra del Wharf del After, etc... -- Have a nice day ;-) TooManySecrets
Re: Como se cambia el tipo de letra por defecto en xterm
El vie, 28 ago 1998, Enrique Zanardi escribió: On Fri, Aug 21, 1998 at 05:10:17PM +0200, Antonio Calvo Rodriguez wrote: Hola , e estado intentando cambiar el tipo de letra por defecto en las xterm pero no parece que lo coja. Creo que debes usar Xterm*font (con minúsculas). Y no estoy seguro de que te utilize el alias. A mí me funciona con el nombre completo ( -misc-fixed-medium--r-normal--20-200-75-75-c-100-iso8859-1 ) Nada, asi tampoco va. HE probado todas las permutaciones que se me han ocurrido y no pita ninguna --
Re: Como se cambia el tipo de letra por defecto en xterm
On Fri, Aug 21, 1998 at 05:10:17PM +0200, Antonio Calvo Rodriguez wrote: Hola , e estado intentando cambiar el tipo de letra por defecto en las xterm pero no parece que lo coja. Estoy con Debian 2 y lo que he hecho es añadir en mi home el siguiente fichero -- .Xresources ! Xresources ! ! user Xresources file -- used by both xdm and xinit (startx) XTerm*Font: 10x20 Creo que debes usar Xterm*font (con minúsculas). Y no estoy seguro de que te utilize el alias. A mí me funciona con el nombre completo ( -misc-fixed-medium--r-normal--20-200-75-75-c-100-iso8859-1 ) Saludos, -- Enrique Zanardi[EMAIL PROTECTED]
Como se cambia el tipo de letra por defecto en xterm
Hola , e estado intentando cambiar el tipo de letra por defecto en las xterm pero no parece que lo coja. Estoy con Debian 2 y lo que he hecho es añadir en mi home el siguiente fichero -- .Xresources ! Xresources ! ! user Xresources file -- used by both xdm and xinit (startx) XTerm*Font: 10x20 -- Pero no consigo que carge la fuente. ¿ Que estoy haciendo mal? -- Antonio Calvo Rodriguez [EMAIL PROTECTED] --