Je voudrais changer la police de caractères dans le terminal, comment puis-je y parvenir ?
Réponse
Trop de publicités?
Elcid
Points
1
Pour les novices en la matière, il semble que l'on puisse choisir des polices mono-espaces dans le terminal gnome. Si les autres réponses ne fonctionnent pas pour vous, vous pouvez installer une police mono-espaces, puis aller à l'adresse suivante Edit -> Profile Preferences -> General Sélectionnez la nouvelle police monospace que vous venez d'installer et profitez-en.
Voir aussi cette réponse lien
Profitez-en.
- Réponses précédentes
- Plus de réponses
