• [^] # Re: re

    Posté par . En réponse au message changer la police de la console. Évalué à 1.

    salut,

    merci pour ta réponse mais en fait on utilise finalement gnome-terminal lol :)).

    et malgré avoir cherché beaucoup de temps sur internet, on n'a pas trouvé une commande qui permettrait de charger la police du terminal.

    si quelqu'un sait comment faire ?

    merci

    a+