Re: xterm fonts

2002-07-12 Per discussione davide - dissident
* Wednesday 10 July 2002, alle 08:27, alberto scrive: Aprendo xterm si possono modificare i font con CTRL+Bottone-di-destra. io non uso xterm, ma aterm e wterm e faccio cosi`: aterm -fn 9x15 le. indicazioni le ho trovate nella pagina di man . -- Non sono strutturato

xterm fonts

2002-07-10 Per discussione alberto
Aprendo xterm si possono modificare i font con CTRL+Bottone-di-destra. Io uso spesso large per cui mi piacere bbe lanciare xterm -fn Quello-che-corrisponde-large. Dove leggo quale definizione di font (10x20? 10x10 o altro) corrisponde all'azione di quel menu, in modo da poterla replicare?

Re: xterm fonts

2002-07-10 Per discussione alberto
xlsfonts? Magia!! E' bellissimo! Non lo conoscevo. Mauro: per cambiare il font di xterm, devi scegliere il font desiderato con quelli dati dalla lista dal dal programma xlsfonts esempio: xterm -font vga qua non so aiutarti ma penso si faccia dal file .Xdefaults, di cui dovrebbe