J'aimerais personnaliser xterm car la taille de police par défaut est assez petite. J'aimerais également modifier mon xterm à Inconsolata.
J'ai quelques questions à poser.
- Comment puis-je connaître ma taille de police et ma famille de police par défaut (xrdb -query n'affiche pas les informations sur les polices) ?
- Quel est le chemin d'accès à ma police xterm ?
- Quels sont les formats acceptables pour les polices xterm ?
- Dois-je utiliser uniquement Monospace ?
- Où dois-je stocker la configuration ?
- Est-ce que cela n'affecte que xterm ou d'autres terminaux comme gnome-terminal ?
- Existe-t-il un format standard pour la configuration de xterm ?
J'ai cherché sur Google mais je ne sais plus où j'en suis car je n'arrive pas à trouver une syntaxe standard pour certaines configurations. D'autres utilisent le nom de classe xterm o XTerm et en ce qui concerne la taille des caractères :
J'ai trouvé de nombreux formats. Par exemple :
XTerm*faceName: Monospace:size=20o
xterm*font: *-fixed-*-*-*-18-*o
xterm -fa "fontname"J'utilise Ubuntu 12.04LTS. Je suis submergé par la page de manuel de xterm puisque je ne suis qu'un débutant. J'aimerais avoir de l'aide de votre part.
