Ubuntu – Existe-t-il un moyen de vérifier quelle police votre émulateur shell / terminal utilise à partir de la ligne de commande

Existe-t-il un moyen de vérifier quelle police votre émulateur shell / terminal utilise à partir de la ligne de commande?

Je suis prêt à régler la lecture d’une partie d’un fichier de configuration, si une commande directe n’est pas facilement disponible.

Meilleure réponse

  • L’optionUtiliser la police à largeur fixe du systèmeest généralement égal et défini par org.gnome.desktop.interface .

    • Pour obtenir le paramètre de police actuel, exécutez la commande suivante:

       gsettings get org.gnome.desktop.interface monospace-font-name
       
    • Pour définir / modifier le paramètre, exécutez la commande suivante(ici exemple d’augmentation de taille):

       gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 14'
       

    En exécutant la commande ci-dessus, j’ai trouvé la police de votre terminal changée (taille augmentée)! Alors, gnome-terminal