#1 Le 18/03/2012, à 23:34
- aglaia
modifier la police du terminal mais pas en mode graphique X|
Bonjour, je souhaite modifier la police du terminal à un moment donné,
pendant l’exécution d'un bash (commande que j'écrirais dedans). Je cherche
quel fichier modifier pour changer cette police puis la remettre par défaut.
Une idée ?
????
Dernière modification par aglaia (Le 19/03/2012, à 20:54)
Hors ligne