• [^] # gconf-editor

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

    comme pour beaucoup d'applis gnome, jette un oeil du coté de gconf-editor (éditeur de la base de regsitre de gnome ...)

    En particulier, la clé gconf-editor : / -> apps -> gnome-terminal -> profiles -> Default -> font a l'air sympathique .....