Pages : 1
#1 Le 06/03/2013, à 10:13
- speche
taille police
Bonjour,
J'aurais voulu savoir s'il était possible d'augmenter la taille de la police des caractères qui s'affichent dans la fenêtre xterm.
Merci!
Hors ligne
#2 Le 06/03/2013, à 12:00
- Ayral
Re : taille police
À moins que tu tombes sur un habitué de Xterm, le mieux est que tu tapes
man xterm
dans un terminal, et tu as tout ce qu'il te faut. Bon, en anglais, mais c'est pas plus compliqué que le latin de sacristie...
Pour mettre les retours de commande entre deux balises code, les explications sont là : https://forum.ubuntu-fr.org/viewtopic.php?id=1614731
Blog d'un retraité
Site de graphisme du fiston Loïc
Ubuntu 22.04 LTS sur un Thinkpad W540
Hors ligne
#3 Le 06/03/2013, à 22:19
- speche
Re : taille police
Merci pour la réponse, je l'avais zappée...
J'essaie demain.
Hors ligne
Pages : 1