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.
L'option tilisez la police à largeur fixe du système est généralement identique et définie 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 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.
Vérifiez la police du terminal:
grep -i "fontface"/etc/default/console-setup
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
Pour le changer, vous pouvez exécuter Sudo dpkg-reconfigure console-setup
in tty. Cela mettra à jour les paramètres du noyau.
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.