web-dev-qa-db-fra.com

Existe-t-il un moyen de vérifier la police utilisée par votre émulateur Shell / terminal à partir de la ligne de commande?

Existe-t-il un moyen de vérifier la police utilisée par votre émulateur Shell/terminal à partir de la ligne de commande?

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

9
Akiva

L'option tilisez la police à largeur fixe du système est généralement identique et définie par org.gnome.desktop.interface.

screen0

  • 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 les paramètres, exécutez la commande suivante (ici, un exemple d’augmentation de la 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 modifiée (taille augmentée)! Donc, gnome-terminal en utilisant ce paramètre de police.

7
Pandya

Vérifiez la police du terminal:

grep -i "fontface"/etc/default/console-setup

2
Andy

Il y a déjà beaucoup de réponses sur les émulateurs de console ici, donc je me concentrerai uniquement sur la console virtuelle tty. Vous pouvez faire chat /etc/default/console-setup et trouver la ligne disant FONTFACE. Sinon, vous pouvez grep -n FONTFACE /etc/default/console-setup

Par exemple, voici mon fichier de configuration de la console

enter image description here

Pour le changer, vous pouvez exécuter Sudo dpkg-reconfigure console-setup in tty. Cela mettra à jour les paramètres du noyau.

2
Sergiy Kolodyazhnyy

Vous pouvez vérifier la police de votre terminal gnome en utilisant la commande suivante

gconftool-2 --get /apps/gnome-terminal/profiles/Default/font

Par exemple, il utilise cette commande pour gnome-terminal

 [guru@guru-pc:~]$gconftool-2 --get /apps/gnome-terminal/profiles/Default/font
  Monospace 12

Si vous voulez changer la police en utilisant la ligne de commande, vous pouvez utiliser la commande suivante

  gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "courier new 12"

Où 12 est la taille de la police.

1
g_p